Research on and around e-graphs has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, computational fabrication, automatic vectorization, deep learning compute graphs, symbolic computation, and more.

The second EGRAPHS workshop will bring together those working on and with e-graphs, providing a collaborative venue to share work that advances e-graphs as a broadly applicable technique in programming languages or other fields of computing. The program will contain a mix of invited speakers and work-in-progress talks. The symposium seeks papers on a diverse range of topics including (but not limited to):

  • e-graphs as data structures and their related algorithms
  • equality saturation and other e-graph based rewriting approaches
  • applications of e-graphs and/or equality saturation, whether in programming languages or other fields
  • tools/frameworks that facilitate the use of e-graphs and associated techniques
  • investigations into the human-facing aspects using e-graph-based toolkits including error reporting, debugging, and visualization

Accepted submissions will not be placed on the ACM DL, so we allow and encourage in-progress or already published relevant work to be presented.

Previous editions:

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
EGRAPHS: OptimizationEGRAPHS at Magnolia 18
09:40
20m
Talk
Automating Constraint-Aware Datapath Optimization using E-Graphs
EGRAPHS
Samuel Coward Imperial College London, UK / Intel Corporation, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA
Pre-print
10:00
20m
Talk
egglog In Practice: Automatically Improving Floating-point Error
EGRAPHS
Oliver Flatt University of Washington, Yihong Zhang University of Washington
10:20
20m
Talk
Optimizing Stateful Dataflow with Local Rewrites
EGRAPHS
Shadaj Laddad University of California at Berkeley, Conor Power University of California at Berkeley, Tyler Hou University of California, Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein University of California, Berkeley
10:40
20m
Talk
Egg-smol Python: A Pythonic Library for E-graphs
EGRAPHS
Pre-print
11:20 - 12:30
EGRAPHS: VerificationEGRAPHS at Magnolia 18
11:20
20m
Talk
KestRel: Relational Verification using E-Graphs for Program Alignment
EGRAPHS
Robert Dickerson Purdue University, Benjamin Delaware Purdue University
11:40
20m
Talk
Partially Complete Quantifier Elimination
EGRAPHS
Isabel Garcia-Contreras University of Waterloo, Hari Govind V K University of Waterloo, Sharon Shoham Tel Aviv University, Arie Gurfinkel University of Waterloo
12:00
20m
Talk
Ensuring the termination of equality saturation for terminating term rewriting systems
EGRAPHS
Yihong Zhang University of Washington, Oliver Flatt University of Washington
16:00 - 17:50
EGRAPHS: Binding & ExtractionEGRAPHS at Magnolia 18
16:00
20m
Talk
Optimizing bindings in e-graphs
EGRAPHS
Emmanuel Anaya-Gonzalez UCSD, Cole Kurashige UCSD, Aditya Giridharan UCSD, Nadia Polikarpova University of California at San Diego
16:20
20m
Talk
Improving Term Extraction with Acyclic Constraints
EGRAPHS
Deyuan (Mike) He Princeton University, Haichen Dong Princeton University, Sharad Malik Princeton University, Aarti Gupta Princeton University
16:40
20m
Talk
E-graph Extraction Using ZDDs
EGRAPHS

Call for Presentations

We invite submission for talks broadly, including talks that may cover already published or in-progress work. Submissions should be in the form of a 2 to 6 page extended abstract that describes the key problems addressed and/or reusable insights from the proposed talk. Links to preprints, repos, demos, or other media are encouraged!

We welcome submissions from academic, industrial, or independent researchers and practitioners. Talks are intended to foster discussion between members of the e-graph community. The program will include time for Q&A as well as open-ended discussion inspired by the talks.

Submissions and review will take place on HotCRP. Submissions are not anonymous.

Questions? Use the EGRAPHS contact form.