4 papers
Faster Math Functions, Soundly
Ian Briggs, Pavel Panchekha
Standard library implementations of functions like sin and exp optimize for accuracy, not speed, because they are intended for general-purpose use. But applications tolerate inaccu…
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan +2
Automated techniques for rigorous floating-point round-off error analysis are important in areas including formal verification of correctness and precision tuning. Existing tools a…
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
Arnab Das, Sriram Krishnamoorthy, Ian Briggs +2
We present FPDetect, a low overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline a…
Multi-level analysis of compiler induced variability and performance tradeoffs
Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan +4
Successful HPC software applications are long-lived. When ported across machines and their compilers, these applications often produce different numerical results, many of which ar…