Sound Bit-Precise Numerical Domains
Abstract elided by the publisher.
Related papers
- Program analysis via efficient symbolic abstraction OOPSLA 2021
- Debugging and detecting numerical errors in computation with posits PLDI 2020
- Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation PLDI 2026
- HierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical Cutoff PPoPP 2026
- Fast Numerical Program Analysis with Reinforcement Learning CAV 2018
- Scalable Floating-Point Satisfiability via Staged Optimization PLDI 2026
- Fast and Efficient Bit-Level Precision Tuning SAS 2021
- An Interval Compiler for Sound Floating-Point Computations CGO 2021