Static Analysis

Verifying Infinitely Many Programs at Once.- Abstract Interpretation in Industry - Experience and Lessons Learned.- Building Trust and Safety in Artificial Intelligence with Abstract Interpretation.- Modular Optimization-Based Roundo Error Analysis of Floating-Point Programs.- Unconstrained Variable Oracles for Faster Numeric Static Analyses.- Symbolic transformation of expressions in modular arithmetic.- A Formal Framework to Measure the Incompleteness of Abstract Interpretations.- BREWasm: A General Static Binary Rewriting Framework for WebAssembly.- Quantum Constant Propagation.- Error Invariants for Fault Localization via Abstract Interpretation.- Generalized Program Sketching by Abstract Interpretation and Logical Abduction.- Mutual Refinements of Context-Free Language Reachability.- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses.- How fitting is your abstract domain? .- A Product of Shape and Sequence Abstractions.- Error Localization for Sequential EffectSystems.- Scaling up Roundo Analysis of Functional Data Structure Programs.- Reverse Template Processing using Abstract Interpretation.-  Domain Precision in Galois Connection-less Abstract Interpretation.- Lifting On-Demand Analysis to Highe-Order Languages.- Octagons Revisited - Elegant Proofs and Simplified Algorithms.- Polynomial Analysis of Modular Arithmetic.- Boosting Multi-Neuron Convex Relaxation for Neural Network Verification.