Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Abstract elided by the publisher.
Related papers
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI 2023
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006
- Floating-Point Neural Networks are Provably Robust Universal Approximators CAV 2025
- Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors CAV 2024
- Optimal Program Synthesis via Abstract Interpretation POPL 2024
- Optimizing indirect branch prediction accuracy in virtual machine interpreters TOPLAS 2007
- Analysis of Software Patches Using Numerical Abstract Interpretation SAS 2019
- Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT SAS 2013