PLDI 2025 (series) / EGRAPHS 2025 (series) /
EGRAPHS 2025 Program
This is the EGRAPHS 2025 program - see the full program for PLDI 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 17 JunDisplayed time zone: Seoul change
Tue 17 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:00 20mTalk | Cut Tracing with E-Graphs for Boolean FHE Circuit SynthesisRecorded EGRAPHS Pre-print Media Attached | ||
09:20 20mTalk | Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling EGRAPHS Media Attached File Attached | ||
09:40 20mTalk | Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization EGRAPHS Oren Hecht Technion, Yotam M. Y. Feldman Tel Aviv University, Barak Hirshberg Tel Aviv University, Hila Peleg Technion Media Attached | ||
10:30 - 12:00 | |||
10:30 20mTalk | eqsat: An Equality Saturation Dialect for Non-destructive Rewriting EGRAPHS Jules Merckx Ghent University, Alexandre Lopoukhine University of Cambridge, Samuel Coward Imperial College London, UK / Intel Corporation, Jianyi Cheng University of Edinburgh, UK, Bjorn De Sutter Ghent University, Belgium , Tobias Grosser University of Cambridge Pre-print Media Attached | ||
10:50 20mTalk | Hatching Theory Instantiations with Yardbird EGRAPHS Cole Vick University of Texas at Austin, Samuel Thomas The University of Texas at Austin, Texas, USA Media Attached | ||
11:10 20mTalk | Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification EGRAPHS Andy Wanna Georgia Institute of Technology, Cong "Callie" Hao Georgia Institute of Technology, Theo Drane AMD Media Attached | ||
14:00 - 15:20 | |||
14:00 20mTalk | Destructive E-Graph Rewrites EGRAPHS Paul Zhang University of California, Los Angeles, Yisu Remy Wang University of California, Los Angeles Media Attached | ||
14:20 20mTalk | 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 20mTalk | 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 | ||
15:40 - 17:00 | |||
15:40 20mTalk | Equality Saturation Guided by Large Language Models EGRAPHS Media Attached | ||
16:00 20mTalk | Machine Learning Guided Equality Saturation EGRAPHS Nicole Heinimann Technische Universität Berlin, Thomas Koehler CNRS - ICube Lab, Michel Steuwer Technische Universität Berlin Pre-print Media Attached File Attached | ||
16:20 20mTalk | Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching EGRAPHS Philip Zucker Draper Pre-print Media Attached File Attached | ||