1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2026
Lifting E-Graphs: A Function Isn't a Constant
Philip Zucker
Variables are quite subtle and easy to get wrong. An approach is described to support rigid canonical variables in an e-graph. The lifting e-graph has a baked-in notion of func…
cs.PL2025★ 1 cited
Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching
Philip Zucker
E-graphs are a data structure for equational reasoning and optimization over ground terms. One of the benefits of e-graph rewriting is that it can declaratively handle useful but d…
cs.SE2021
Formal Methods for the Informal Engineer: Workshop Recommendations
Gopal Sarma, James Koppel, Gregory Malecha +5
Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biom…