EGRAPHS Community

EGRAPHS Workshop 2026 takes place on June 15 at PLDI!
Talks begin at 9am PT on Zoom.

E-graphs Modulo Theory

Speaker: Sofia Brookie

Video

2026-05-21

Sofia Brookie (Chalmers University of Technology) will discuss E-graphs Modulo Theory.

Abstract

A well-known problem with E-graphs is that for certain equational theories, such as those with associative and commutative operators, there are a large number of ‘superfluous’ E-nodes and E-classes generated in the process of equality saturation. This suggests extending E-graphs to have built-in theories for more efficiently handling such operators/functions.

I will discuss my in-progress master’s thesis on this idea, outlining some preliminary results for AC operators and discussing in general what is needed for a theory to be efficiently handled in a built-in way.