Equality Saturation
Seminar
- Where: E1 3 401
- When: First meeting is 10 Apr 2025 12-14
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.
Registration
Please use our seminar system. Note that you still have to register for the Seminar in the LSF until TBA to get a certificate for the seminar.
Mode
A paper will be assigned to each participant. We will have weekly meetings during the semester in which we will discuss one of the assigned papers. The discussion will be managed by the student to whom the paper was assigned. She/he is responsible for giving a short summary on the paper and for structuring the following discussion.