Projects

Some projects from my research and spare time. Most involve compilers, programming languages, or program optimization.

Selected projects

Parallel equality saturation

CC 2026

Foresight

An equality saturation library that rewrites e-graphs in parallel. Written in Scala, with support for custom saturation strategies.

Paper Slides Source

FPGA resource sharing

CGO 2026

SkeleShare

Uses equality saturation to explore how FPGA designs can share hardware resources. A solver selects a design from the resulting e-graph.

Paper Slides

Other projects

Semantic library-call discovery

CGO 2024

Latent Idiom Recognition

Finds opportunities to replace array code with BLAS or PyTorch calls, using equality saturation to recognize equivalent computations.

Paper Slides

Managed-language compiler framework

Open source

Flame

A hobby compiler framework written in C#. It includes an SSA-based optimizer and back ends for .NET IL and LLVM IR.

Source

Open source

MLIR.NET

C# tooling for reading, writing, and working with MLIR. It uses TableGen dialect definitions to generate typed APIs.

Source

Master's thesis

Julia GPU Garbage Collection

My master’s thesis: adding garbage collection to Julia GPU kernels, with compiler support in Julia and a mark-and-sweep runtime on the GPU.

Thesis

Tiered compilation for graph bytecode

Research project

Modelverse JIT

A JIT compiler for the Modelverse’s graph-based bytecode. It starts with an interpreter and compiles frequently executed code using an SSA-based optimizer.

Report

META 2019

FlashFreeze

Serializes JavaScript functions and their captured variables. Source instrumentation records the lexical environments needed to reconstruct closures.

Paper Source