Static Analysis of the Numerical Stability of Loops
No abstract available.
Related papers
- An empirical study of the effect of source-level loop transformations on compiler stability OOPSLA 2018
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Synthesizing Backward Error Bounds, Backward PLDI 2026
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Bean: A Language for Backward Error Analysis PLDI 2025
- Automated backward error analysis for numerical code OOPSLA 2015
- Towards Singular Value Decomposition for Rank-Deficient Matrices: An Efficient and Accurate Algorithm on GPU Architectures PPoPP 2026
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs VMCAI 2015