research
∙
09/08/2023
The Case for Anticipating Undesirable Consequences of Computing Innovations Early, Often, and Across Computer Science
From smart sensors that infringe on our privacy to neural nets that port...
share
research
∙
08/23/2021
Rewrite Rule Inference Using Equality Saturation
Many compilers, synthesizers, and theorem provers rely on rewrite rules ...
research
∙
10/02/2020
Proof Repair Across Type Equivalences
We describe a new approach to automatically repairing broken proofs in t...
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