Compilers · IRs · Equality Saturation
Compiler engineer building compilers for new hardware.
I build compilers for emerging systems, including accelerators, FPGAs, managed runtimes, and MLIR tooling. My work focuses on IR design and novel optimization techniques, including equality saturation.
- Recent Venues
- CGO · CC
- Systems
- Foresight · SkeleShare · MLIR.NET
- Looking For
- Compiler, PL, and systems roles in Canada
Current Focus
Research-grade ideas, engineered as usable compiler infrastructure.
I am a PhD candidate at McGill University, affiliated with Mila, working with Christophe Dubach. My recent work turns equality saturation and compact functional IRs into tools for parallel rewriting, FPGA design search, and library idiom recognition.
Featured Systems
Recent compiler research
CC 2026
Foresight
A parallel, extensible equality saturation library with programmable saturation strategies, generalized e-graph metadata, and deferred parallel rewriting.
- Impact
- Up to 16x speedup
- Role
- Designed and implemented the core system
- Scala
- e-graphs
- parallel rewriting
- IR metadata
CGO 2026
SkeleShare
Automates hardware resource allocation and sharing by combining equality saturation, algorithmic skeletons, and solver-based extraction.
- Impact
- Matches or exceeds expert designs
- Role
- Equality-saturation system for hardware design search
- FPGA
- HLS
- equality saturation
- solver extraction