Unconstrained Variable Oracles for Faster Numeric Static Analyses
No abstract available.
Related papers
- Oracle-free repair synthesis for floating-point programs OOPSLA 2022
- Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis ESOP 2020
- Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization VMCAI 2023
- Fast shadow execution for debugging numerical errors using error free transformations OOPSLA 2022
- A²I: abstract² interpretation POPL 2019
- A Few Graph-Based Relational Numerical Abstract Domains SAS 2002
- A security policy oracle: detecting security holes using multiple API implementations PLDI 2011
- Simple and Effective Analysis of Statically Typed Object-Oriented Programs OOPSLA 1996