Preprint
Sep 2026
Efficient Extraction for Effectful E-Graphs
Egraphs have enabled recent advances in program optimization, synthesis, and verification, yet remain difficult to apply to effectful programs whose memory and I/O operations must respect execution order. Existing effect-aware extraction algorithms rely on integer linear programming (ILP) and dominate total runtime. We...
Oliver Flatt, Anjali Pal, Yi-Hong Zhang et al.
· 0 citations