Equality Saturation

Equality Saturation

The participants are assigned via the UdS Seminar Assignment System.

Equality saturation is an emerging technique for program and query optimization developed in the programming language community. It performs term rewriting over an E-graph, a data structure that compactly represents a program space. In this seminar we look at applications of E-graphs and equality saturation for program optimization, equality saturation algorithms, and the theoretical foundations of equality saturation that are rooted in automated reasoning and database theory.

The grade is composed of three parts:

• Oral presentation about your assigned paper
• Reviews of the other papers
• Participation in the discussion of the other papers
• A final presentation

At the start of the seminar, we will have 1-2 introductory lectures that give an overview over equality saturation and the current literature.