Paper Reading: "Types and Programming Languages" Chapter 15 and Chapter 16

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

Paper Reading: Bi-directional type checking

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

Date and Time Types in Python

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