This program is tentative and subject to change.

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.

This program is tentative and subject to change.

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
Hide past events