| 2023 | A Formal Framework to Measure the Incompleteness of Abstract Interpretations. Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi |
| 2023 | A Product of Shape and Sequence Abstractions. Josselin Giet, Félix Ridoux, Xavier Rival |
| 2023 | ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses. Florian Frohn, Jürgen Giesl |
| 2023 | Abstract Interpretation in Industry - Experience and Lessons Learned. Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand |
| 2023 | BREWasm: A General Static Binary Rewriting Framework for WebAssembly. Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang |
| 2023 | Boosting Multi-neuron Convex Relaxation for Neural Network Verification. Xuezhou Tang, Ye Zheng, Jiaxiang Liu |
| 2023 | Building Trust and Safety in Artificial Intelligence with Abstract Interpretation. Gagandeep Singh |
| 2023 | Domain Precision in Galois Connection-Less Abstract Interpretation. Isabella Mastroeni, Michele Pasqua |
| 2023 | Error Invariants for Fault Localization via Abstract Interpretation. Aleksandar S. Dimovski |
| 2023 | Error Localization for Sequential Effect Systems. Colin S. Gordon, Chaewon Yun |
| 2023 | Generalized Program Sketching by Abstract Interpretation and Logical Abduction. Aleksandar S. Dimovski |
| 2023 | How Fitting is Your Abstract Domain? Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni |
| 2023 | Lifting On-Demand Analysis to Higher-Order Languages. Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang |
| 2023 | Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. Rosa Abbasi, Eva Darulova |
| 2023 | Mutual Refinements of Context-Free Language Reachability. Shuo Ding, Qirun Zhang |
| 2023 | Octagons Revisited - Elegant Proofs and Simplified Algorithms. Michael Schwarz, Helmut Seidl |
| 2023 | Polynomial Analysis of Modular Arithmetic. Thomas Seed, Chris Coppins, Andy King, Neil Evans |
| 2023 | Quantum Constant Propagation. Yanbin Chen, Yannick Stade |
| 2023 | Reverse Template Processing Using Abstract Interpretation. Matthieu Lemerre |
| 2023 | Scaling up Roundoff Analysis of Functional Data Structure Programs. Anastasia Isychev, Eva Darulova |
| 2023 | Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings Manuel V. Hermenegildo, José F. Morales |
| 2023 | Symbolic Transformation of Expressions in Modular Arithmetic. Jérôme Boillot, Jérôme Feret |
| 2023 | Unconstrained Variable Oracles for Faster Numeric Static Analyses. Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
| 2023 | Verifying Infinitely Many Programs at Once. Loris D'Antoni |