EGRAPHS 2022

E-Graph Research, Applications, Practices, and Human-factors Symposium

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 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, work-in-progress talks, and peer-reviewed papers. 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

Call for Submissions

See the Call for Papers tab for information.

Event

The event will be co-located with PLDI on Tuesday, June 14, 2022.

Accepted Papers

Call for Talks / Papers

The symposium welcomes paper and abstract submissions on the topics listed in the program description. All submissions and reviews will take place on the EGRAPHS 2022 HotCRP.

Talk Abstracts

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-page (excluding references, same format as PLDI) extended abstract that describes the key problems addressed and/or reusable insights from the proposed talk.

You may omit the abstract and keyword sections from the submitted PDF.

Talks are intended to foster discussion between members of the e-graph community. The program will include time for open-ended discussion inspired by the talks as well as Q&A.

Talk proposals will not be published in the ACM DL, so they may cover work that is or will be published elsewhere.

Talk proposals are not anonymous and will be reviewed single-blind (the reviewers will see the author list), so feel free to use identifying information in your submission. Make sure to uncheck the “Anonymous submission” box in HotCRP when submitting a talk proposal.

Research Papers

We also invite research papers describing novel results on any of the subject areas in the program description. Reviewers will evaluate papers on the significance of their results and the clarity of exposition. Papers should clearly state how their novel contributions relate to previous work.

Research papers will be subject to double-blind peer review, so submissions must be anonymized.

Papers should be no more than 8 pages (excluding references) in the same format as PLDI (SIGPLAN, double column). Research paper submissions should not be simultaneously under submission/review at any other venue.

Accepted research papers will be published and available on the ACM Digital Library. We encourage authors to make a preprint freely available as well.