Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
No abstract available.
Related papers
- Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations CAV 2021
- Numerical Fuzz: A Type System for Rounding Error Analysis PLDI 2024
- Scaling up Roundoff Analysis of Functional Data Structure Programs SAS 2023
- Inferring Interval-Valued Floating-Point Preconditions TACAS 2022
- Automated backward error analysis for numerical code OOPSLA 2015
- A Two-Phase Approach for Conditional Floating-Point Verification TACAS 2021
- Towards a Compiler for Reals TOPLAS 2017
- VCFloat2: Floating-Point Error Analysis in Coq CPP 2024