Formal Performance and Compile Time Guarantees for Compiler Optimization Heuristics

I wrote a lightweight backend compiler SSBE

Compiler devs, how did you break into the field?

Compiler and runtime for JavaScript on the JVM

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)

Adaptation Fidelity of SPEC CPU2026

25x Performance, Three Optimizations

mox - first public release

Compilers should help developers optimize their code

Contribute to open-source, no-slop, compiler-related projects.