Equality Saturation: An “Incomplete” Project

The Shift of Theseus – Toy Bit Provenance Abstract Domain

I built a self-assembling x86-64 assembler from scratch

Adding Go's defer to the TypeScript Compiler

Switch Lowering in GCC

The next-gen borrow checker, a drop-in replacement for Rust borrow checking

FOSDEM 2027 LLVM devroom call for presentations

Highly Optimizing Ahead-of-Time Compilers for Dynamic Languages [PhD Defense Slides]

Compiler bootstrapping depends on more than you might think

Two musings on the design of compiler warnings (2020)