SAS 2023
23 papers
- A Formal Framework to Measure the Incompleteness of Abstract Interpretations
- A Product of Shape and Sequence Abstractions
- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
- Abstract Interpretation in Industry - Experience and Lessons Learned
- BREWasm: A General Static Binary Rewriting Framework for WebAssembly
- Boosting Multi-neuron Convex Relaxation for Neural Network Verification
- Building Trust and Safety in Artificial Intelligence with Abstract Interpretation
- Domain Precision in Galois Connection-Less Abstract Interpretation
- Error Invariants for Fault Localization via Abstract Interpretation
- Error Localization for Sequential Effect Systems
- Generalized Program Sketching by Abstract Interpretation and Logical Abduction
- How Fitting is Your Abstract Domain?
- Lifting On-Demand Analysis to Higher-Order Languages
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
- Mutual Refinements of Context-Free Language Reachability
- Octagons Revisited - Elegant Proofs and Simplified Algorithms
- Polynomial Analysis of Modular Arithmetic
- Quantum Constant Propagation
- Reverse Template Processing Using Abstract Interpretation
- Scaling up Roundoff Analysis of Functional Data Structure Programs
- Symbolic Transformation of Expressions in Modular Arithmetic
- Unconstrained Variable Oracles for Faster Numeric Static Analyses
- Verifying Infinitely Many Programs at Once