Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
No abstract available.
Related papers
- Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers Haskell 2024
- Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation CGO 2026
- Automatically improving accuracy for floating point expressions PLDI 2015
- Numerical Fuzz: A Type System for Rounding Error Analysis PLDI 2024
- Efficient automated repair of high floating-point errors in numerical libraries POPL 2019
- Towards a Compiler for Reals TOPLAS 2017
- Automated backward error analysis for numerical code OOPSLA 2015
- VCFloat2: Floating-Point Error Analysis in Coq CPP 2024