Parallel and Customizable Equality Saturation

ACM SIGPLAN International Conference on Compiler Construction (CC) 2026 Open access

Read full text
Authors: Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, Christophe Dubach
DOI: 10.1145/3771775.3786266
Cited by: 0
References: 25

Abstract

Equality saturation enables compilers to explore many semantically equivalent program variants, deferring optimization decisions to a final extraction phase. However, existing frameworks exhibit sequential execution and hard-coded saturation loops. This limits scalability and requires significant engineering effort to customize saturation behavior.

Fields of Study & Subjects

Logic programming and type systems Parallel Computing and Optimization Techniques Embedded Systems Design Techniques

Publication details

Journal / source
ACM SIGPLAN International Conference on Compiler Construction (CC)
Pages
94–105
Publication date
28 January 2026