research
∙
05/17/2023
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting
In recent years, researchers have proposed a number of automated tools t...
share
research
∙
09/07/2022
Small Proofs from Congruence Closure
Satisfiability Modulo Theory (SMT) solvers and equality saturation engin...
research
∙
06/14/2022
Synthesizing Mathematical Identities with E-Graphs
Identities compactly describe properties of a mathematical expression an...
research
∙
04/22/2022
Optimal Heap Limits for Reducing Browser Memory Use
Garbage collected language runtimes must carefully tune heap limits to r...
research
∙
07/12/2021
An Interval Arithmetic for Robust Error Estimation
Interval arithmetic is a simple way to compute a mathematical expression...
research
∙
07/12/2021
Faster Math Functions, Soundly
Standard library implementations of functions like sin and exp optimize ...
research
∙
04/24/2020
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis
Automated techniques for rigorous floating-point round-off error analysi...
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
∙
05/29/2017