PLDI 2026 (series) / EGRAPHS 2026 (series) / EGRAPHS /
A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs
Mon 15 Jun 2026 14:05 - 14:30 at Meadows CD - Session 3
We present Scheduling Modulo Equality (SME), the first joint approach to instruction scheduling and algebraic rewriting with e-graphs. SME uses standard equality saturation for algebraic rewriting, but a novel integer-linear programming formulation of instruction scheduling for e-graph extraction. We apply SME to polynomial evaluation and prefix sum on CPU and GPU and show that it is able to find instruction schedules that achieve up to a 2.15× speedup over optimized baselines.
Mon 15 JunDisplayed time zone: Mountain Time (US & Canada) change
Mon 15 Jun
Displayed time zone: Mountain Time (US & Canada) change
13:40 - 15:20 | |||
13:40 25mTalk | Rewrite System Showdown: Stochastic Search vs. EqSat EGRAPHS Qiantan Hong Stanford University, Rupanshu Soi Stanford University, Yihong Zhang University of Washington, Alex Aiken Stanford University Pre-print | ||
14:05 25mTalk | A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs EGRAPHS | ||
14:30 25mTalk | Answer Set Programming for Egg Extraction and More EGRAPHS Pre-print | ||
14:55 25mTalk | CERES: Making Equality Saturation Memory-Scalable EGRAPHS Akash Pardeshi University of Illinois at Urbana-Champaign, Devansh Jain University of Illinois at Urbana-Champaign, Saatvik Lochan University of Illinois Urbana-Champaign, Mihir Tandon University of Illinois Urbana-Champaign, Marco Frigo University of Illinois at Urbana-Champaign, Chamika Sudusinghe University of Illinois at Urbana-Champaign, Damitha Lenadora University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign | ||