research
∙
06/14/2022
Synthesizing Mathematical Identities with E-Graphs
Identities compactly describe properties of a mathematical expression an...
share
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/09/2020
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
We present FPDetect, a low overhead approach for detecting logical error...
research
∙
04/09/2020
Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
We present FPDetect, a low overhead approach for detecting logical error...
research
∙
11/14/2018