Blog

May 7, 2020 Understanding Ladner's Theorem
Jun 29, 2019 Seemingly Impossible Turing Machines
Jun 21, 2019 Resource Variable Operations in TensorFlow/XLA
Oct 7, 2018 Control Flow in TensorFlow & XLA's Auto-Clustering
Mar 21, 2017 An Issue with Java's Final Fields
Sep 18, 2016 Integer overflow in LLVM's ScalarEvolution
Jul 16, 2016 Inter-Procedural Optimization and Derefinement
Jun 17, 2016 Check Widening in LLVM
Dec 29, 2015 A Problem with LLVM's Undef
Oct 14, 2015 Reference Counting: Harder than it Sounds
Aug 16, 2015 Deoptimization States are Delimited Continuations
Jul 1, 2015 Semantics as Transform Invariants
Feb 1, 2015 Interference Graphs for SSA are Chordal
Jan 4, 2015 Hazard Pointers are a CRDT
Dec 21, 2014 Solving Linear Range Checks
Sep 7, 2014 Java Optimizations and the JMM
Aug 4, 2014 A Proof Bug
May 25, 2014 A Lattice for Speculative Data Flow Analysis
Mar 21, 2014 Cantor's Diagonal Argument in Agda
Mar 5, 2014 Peeking into the Java Memory Model
Jul 15, 2013 Echoes: Compiling λ
Apr 29, 2013 Certified Compilation in Agda
Mar 2, 2013 A SWAR Algorithm for Popcount

I often edit these blog entries after publishing them, and while I do explicitly call out edits correcting major omissions or mistakes, I don't bother with demarcating minor edits that don't affect the overall content or tone of the post. You can always view the full history of the entire website on github.