Come learn how to build applications with the egg equality saturation (EqSat) library! EqSat is a technique to efficiently search through the space of terms equivalent to a given input. egg is a state-of-the-art EqSat toolkit; it’s been used to build program optimizers, equivalence checkers, and synthesizers in domains ranging from ML kernels to 3D printing.

In this tutorial, we’ll provide an introduction to egg and EqSat highlighting key features like e-class analyses and e-graph extraction. Participants will join us in building an optimizer for symbolic arithmetic expressions from scratch.