Incremental Equality Saturation (EGRAPHS 2025)

Mon 16 - Fri 20 June 2025 Seoul, South Korea

Who

Rupanshu Soi, Benjamin Driscoll, Ke Wang, Alex Aiken

Track

EGRAPHS 2025

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 17 Jun 2025 14:20 - 14:40 at Orchid - Performance

Abstract

We introduce a new equality saturation algorithm that efficiently optimizes terms available at different points in time using a single (incremental) e-graph, thereby extending the structure sharing benefits of standard equality saturation temporally.

Link to Preprint

https://rupanshusoi.github.io/pdfs/egraphs-25.pdf

Rupanshu Soi

Stanford University

Benjamin Driscoll

Stanford University

Ke Wang

Visa Research

United States

Alex Aiken

Stanford University

United States

Media

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 17 Jun
Displayed time zone: Seoul change

14:00 - 15:20	PerformanceEGRAPHS at Orchid

14:00 20m Talk		Destructive E-Graph Rewrites EGRAPHS Paul Zhang University of California, Los Angeles, Yisu Remy Wang University of California, Los Angeles Media Attached
14:20 20m Talk		Incremental Equality Saturation EGRAPHS Rupanshu Soi Stanford University, Benjamin Driscoll Stanford University, Ke Wang Visa Research, Alex Aiken Stanford University Pre-print Media Attached
14:40 20m Talk		Oatlog: A performant ahead-of-time compiled e-graph engineRecorded EGRAPHS Loke Gustafsson Chalmers University of Technology, Erik Magnusson Chalmers University of Technology, Alejandro Luque Cerpa Chalmers University of Technology Media Attached File Attached