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

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

Python in a Functional Style: Closures, Generators, and Coroutines

Paper Reading: The Fundamentals of Writing Questions