• Solving Soma - February 1, 2026
• Exploring Dataflow Analysis in the Rust Compiler - June 12, 2023
• Generic Recursion Applied to Algebraic Graphs - July 31, 2022