research
∙
12/08/2022
babble: Learning Better Abstractions with E-Graphs and Anti-Unification
Library learning compresses a given corpus of programs by extracting com...
share
research
∙
08/23/2021
Rewrite Rule Inference Using Equality Saturation
Many compilers, synthesizers, and theorem provers rely on rewrite rules ...
research
∙
07/30/2021
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material
Past work on optimizing fabrication plans given a carpentry design can p...
research
∙
07/26/2021
Co-Optimization of Design and Fabrication Plans for Carpentry
Past work on optimizing fabrication plans given a carpentry design can p...
research
∙
04/07/2020
egg: Fast and Extensible E-graphs
An e-graph efficiently represents a congruence relation over many expres...
research
∙
04/07/2020
egg: Easy, Efficient, and Extensible E-graphs
An E-graph is a data structure that can efficiently encode the congruenc...
research
∙
09/26/2019
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Recent program synthesis techniques help users customize CAD models(e.g....
research
∙
09/26/2019