Circuit Transformations, Loop Fusion, and Inductive Proof

Practical resources to convert my IR to SSA

The state of Open-Source Heterogeneous Compilers in 2026?

Breaking ten years of C API compatibility in Futhark

Partial UDF Inlining

Building a Python compiler in Rust that runs faster than CPython with a 160KB WASM binary

Kefir C17/C23 Compiler

I made a stack based language!

What compiler flags can I use to compile the fastest possible binary?

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