• Reference Counting: Harder Than It Sounds http://www.playingwithpointers.com/refcounting-harder-than-it-sounds.html 24 comments 24/7/2016
• Inter-Procedural Optimization and Derefinement http://www.playingwithpointers.com/ipo-and-derefinement.html 11 comments 17/7/2016
• Check Widening in LLVM http://www.playingwithpointers.com/check-widening-in-llvm.html 10 comments 17/7/2016
• Compiling the lambda calculus (2013) http://www.playingwithpointers.com/compiling-lambda.html 2 comments 1/1/2016
• A problem with LLVM's undef http://www.playingwithpointers.com/problem-with-undef.html 4 comments 29/12/2015
• Solving Linear Range Checks http://www.playingwithpointers.com/solving-linear-range-checks.html 14 comments 1/6/2015

• Inter-Procedural Optimization and Derefinement http://www.playingwithpointers.com/ipo-and-derefinement.html 8 comments 17/7/2016 cpp