Mon 15 Jun 2026 16:15 - 16:40 at Meadows CD - Session 4

We explore a new approach to \textit{library learning}, the task of extracting a reusable library of functions by finding common structure in a corpus of programs. We build on two related approaches to this problem: Stitch, which frames library learning as a top-down program synthesis problem, and Babble, which approaches it via an anti-unification procedure over e-graphs. Both of these techniques have shortcomings: Stitch’s top-down search cannot leverage equivalence relations, and Babble’s anti-unification algorithm is inherently quadratic in the size of the corpus. In this work, we introduce E-Stitch, which extends Stitch’s corpus-guided top-down search to operate over a corpus in an \textit{e-graph}. This combines the efficiency of the top-down approach with the expressivity afforded by equivalence relations. We provide a preliminary evaluation of our approach on the benchmarks from Babble, and are able to outperform it in both speed and compression.

Mon 15 Jun

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

15:50 - 17:30
Session 4EGRAPHS at Meadows CD
15:50
25m
Talk
Relational E-matching in an SMT solver
EGRAPHS
Amar Shah Carnegie Mellon University, Marijn Heule Carnegie Mellon University, Bryan Parno Carnegie Mellon University, Max Willsey University of California at Berkeley
16:15
25m
Talk
E-Stitch: Top-Down Library Learning for E-Graphs
EGRAPHS
Kavi Gupta MIT, Maddy Bowers Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology
File Attached
16:40
25m
Talk
Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
EGRAPHS
Pre-print File Attached
17:05
25m
Talk
Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
EGRAPHS
Siyuan Brant Qian University of Illinois at Urbana-Champaign, Vimarsh Sathia University of Illinois Urbana Champaign, Ivan Ivanov Institute of Science Tokyo, Jan Hueckelheim Argonne National Laboratory, Paul Hovland Argonne National Laboratory, William S. Moses University of Illinois Urbana-Champaign