45 posts in total
2023
Paper Reading: "Types and Programming Languages" Chapter 9 and Chapter 11
2022
Paper Reading: Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing
Paper Reading: Hybrid dynamic data race detection
Paper Reading: Lightweight Verification of Array Indexing
Paper Reading: Modular Checking for Buffer Overflows in the Large
Paper Reading: Precise Interprocedural Dataflow Analysis via Graph Reachability
Paper Reading: Mining Input Grammars from Dynamic Taints
Paper Reading: Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software
Paper Reading: The Fundamentals of Writing Questions
Paper Reading: All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask)