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.

Each student is assigned one paper. In each session, we will discuss two papers. The student assigned to the paper is expected to present the paper informally and lead the discussion. In addition to the paper discussions, each student is expected to give a formal presentation with slides about their paper. 

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

This seminar will be carried out together with Michel Steuwer's group at TU Berlin.