Stabilizing Floating-Point Programs Using Provenance Analysis
No abstract available.
Related papers
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Synthesizing Backward Error Bounds, Backward PLDI 2026
- Automated backward error analysis for numerical code OOPSLA 2015
- Compositional Analysis of Floating-Point Linear Numerical Filters CAV 2005
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs SAS 2023
- A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis SAS 2018
- An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs VMCAI 2018
- Constructive real interpretation of numerical programs PLDI 1987