Hi, I’m Jonathan.

My research explored equality saturation and its applications to program optimization and FPGA design, with Christophe Dubach as my PhD supervisor.

This site collects my research, software projects, talks, and teaching.

Projects Publications

Selected projects

All 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