Publications

Parallel and Customizable Equality Saturation

Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, Christophe Dubach

Published in Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction (CC), 2026

A parallel, extensible equality saturation engine with programmable strategies and generalized metadata

Download here