57 posts in total

---

2023

02-05

Paper Reading: "Types and Programming Languages" Chapter 13 and Chapter 14

01-30

Paper Reading: Bi-directional type checking

01-25

Paper Reading: "Types and Programming Languages" Chapter 9 and Chapter 11

2022

11-27

Paper Reading: Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing

11-23

Paper Reading: Hybrid dynamic data race detection

11-16

Paper Reading: Lightweight Verification of Array Indexing

11-13

Paper Reading: Modular Checking for Buffer Overflows in the Large

11-07

Paper Reading: Precise Interprocedural Dataflow Analysis via Graph Reachability

11-02

Paper Reading: Mining Input Grammars from Dynamic Taints

10-29

Paper Reading: Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software