PLDI 2023 (series) / EGRAPHS 2023 (series) /
EGRAPHS 2023 Program
This is the EGRAPHS 2023 program - see the full program for PLDI 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 18 JunDisplayed time zone: Eastern Time (US & Canada) change
Sun 18 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:00 | |||
09:40 20mTalk | 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 File Attached | ||
10:00 20mTalk | egglog In Practice: Automatically Improving Floating-point Error EGRAPHS | ||
10:20 20mTalk | 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 Pre-print File Attached | ||
10:40 20mTalk | Egg-smol Python: A Pythonic Library for E-graphs EGRAPHS Link to publication Pre-print | ||
11:20 - 12:30 | |||
11:20 20mTalk | KestRel: Relational Verification using E-Graphs for Program Alignment EGRAPHS File Attached | ||
11:40 20mTalk | 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 Pre-print File Attached | ||
12:00 20mTalk | Ensuring the termination of equality saturation for terminating term rewriting systems EGRAPHS Link to publication Pre-print File Attached | ||
14:00 - 15:30 | |||
14:00 60mKeynote | ægraphs: Acyclic E-graphs for Efficient Optimization in a Production CompilerInvited Talk EGRAPHS Chris Fallin Fastly Media Attached | ||
15:00 30mKeynote | Building an SQL Optimizer with EggInvited TalkVirtual EGRAPHS Runji Wang RisingWave Labs | ||
16:00 - 17:50 | |||
16:00 20mTalk | Optimizing Beta-Reduction in E-Graphs EGRAPHS Emmanuel Anaya-Gonzalez UCSD, Cole Kurashige UCSD, Aditya Giridharan UCSD, Nadia Polikarpova University of California at San Diego File Attached | ||
16:20 20mTalk | Improving Term Extraction with Acyclic Constraints EGRAPHS Deyuan (Mike) He Princeton University, Haichen Dong Princeton University, Sharad Malik Princeton University, Aarti Gupta Princeton University File Attached | ||
16:40 20mTalk | E-graph Extraction Using ZDDs EGRAPHS Eli Rosenthal Google | ||