PLDI 2024 (series) / EGRAPHS 2024 (series) /
EGRAPHS 2024 Program
This is the EGRAPHS 2024 program - see the full program for PLDI 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 24 JunDisplayed time zone: Windhoek change
Mon 24 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 10mTalk | Welcome EGRAPHS Max Willsey UC Berkeley | ||
09:10 30mTalk | E-graphs and Automated Reasoning: Looking back to look forward EGRAPHS Philip Zucker Draper Pre-print | ||
09:40 30mTalk | Equivalence Hypergraphs: E-Graphs for Monoidal Theories EGRAPHS Aleksei Tiurin University of Birmingham, Chris Barrett University of Oxford, Dan Ghica Huawei Research and University of Birmingham |
10:40 - 12:20 | |||
10:40 25mTalk | Slotted E-Graphs EGRAPHS | ||
11:05 25mTalk | Towards Relational Contextual Equality Saturation EGRAPHS Tyler Hou University of California, Berkeley, Shadaj Laddad University of California at Berkeley, Joseph M. Hellerstein UC Berkeley | ||
11:30 25mTalk | Performant Dynamically Typed E-Graphs in Pure Julia EGRAPHS Pre-print | ||
11:55 25mTalk | EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction EGRAPHS Sabrina Reis Lawrence Livermore National Laboratory, Matthew Sottile Lawrence Livermore National Laboratory |
13:40 - 15:20 | |||
13:40 25mTalk | Powered by Less: Low Power Circuit Synthesis EGRAPHS Samuel Coward Imperial College London, UK / Intel Corporation, Theo Drane Intel Corporation, USA, Emiliano Morini Intel Corporation, George A. Constantinides Imperial College London, UK | ||
14:05 25mTalk | Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how should we marry software and hardware? EGRAPHS Jianyi Cheng University of Cambridge, Samuel Coward Imperial College London, UK / Intel Corporation, Rafael Barbalho Intel Corporation, Theo Drane Intel Corporation, USA | ||
14:30 25mTalk | Loop Saturation for Scalable High-Level Synthesis EGRAPHS Camille Bossut Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology, Cong "Callie" Hao Georgia Institute of Technology | ||
14:55 25mTalk | SpEQ: Translation of Sparse Codes using Equivalences EGRAPHS Avery Laird University of Toronto, Bangtian Liu University of Toronto, Nikolaj Bjørner Microsoft Research, Maryam Mehri Dehnavi University of Toronto |
16:00 - 17:40 | |||
16:00 25mTalk | Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs EGRAPHS Adrian Lehmann University of Chicago, Ben Caldwell University of Chicago, John Reppy University of Chicago, USA, Robert Rand University of Chicago | ||
16:25 25mTalk | superVer: Verifying Probabilistic Independence of Systems of Expressions using Equality Saturation EGRAPHS Alexander Treff University of Lübeck, Pajam Pauls University of Lübeck, Maximilian Orlt TU Darmstadt | ||
16:50 25mTalk | Bridging Syntax and Semantics of Lean Expressions in E-Graphs EGRAPHS Pre-print | ||
17:15 25mTalk | Disequalities in E-Graphs: An Experiment EGRAPHS George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen |