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 Jun

Displayed time zone: Mountain Time (US & Canada) change

13:40 - 15:20
Session 3EGRAPHS at Meadows CD
13:40
25m
Talk
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
25m
Talk
A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs
EGRAPHS
Qiantan Hong Stanford University, Rupanshu Soi Stanford University, Alex Aiken Stanford University
14:30
25m
Talk
Answer Set Programming for Egg Extraction and More
EGRAPHS
Ziyi Yang National University of Singapore, Ilya Sergey National University of Singapore
Pre-print
14:55
25m
Talk
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