167 citations · 170 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Efficient Extraction for Effectful E-Graphs
Oliver Flatt, Anjali Pal, Yihong Zhang +7
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…
cs.PL2026
Equality saturation theory exploration à la carte
Anjali Pal, Brett Saiki, Ryan Tjoa +6
Rewrite rules are critical in equality saturation, an increasingly popular technique in optimizing compilers, synthesizers, and verifiers. Unfortunately, developing high-quality ru…