Compositional Analysis of Floating-Point Linear Numerical Filters
Abstract elided by the publisher.
Related papers
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Numerical Fuzz: A Type System for Rounding Error Analysis PLDI 2024
- Finding root causes of floating point error PLDI 2018
- Bean: A Language for Backward Error Analysis PLDI 2025
- Synthesizing Backward Error Bounds, Backward PLDI 2026
- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis SAS 2020
- Effective floating-point analysis via weak-distance minimization PLDI 2019