Reference Counting: Harder than it Sounds (2015)

Reference Counting: Harder Than It Sounds

Inter-Procedural Optimization and Derefinement

Check Widening in LLVM

Compiling the lambda calculus (2013)

A problem with LLVM's undef

Solving Linear Range Checks

Java Optimizations and the JMM

A Lattice for Speculative Data Flow Analysis