| 2024 | GoGuard: Efficient Static Blocking Bug Detection for Go. | Bozhen Liu, Dhruti Joshi |
| 2024 | Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler. | Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi |
| 2024 | Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations. | Philipp Kern, Carsten Sinz |
| 2024 | Synthesizing Abstract Transformers for Reduced-Product Domains. | Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy |
| 2024 | Full Control-Flow Sensitivity for Definitional Interpreters. | Kimball Germane |
| 2024 | Lift-Offline: Instruction Lifter Generators. | Nicholas Coughlin, Alistair Michael, Kait Lam |
| 2024 | On the Role of Cognizance in Responsibility. | Laura Canaia, Mila Dalla Preda |
| 2024 | Trace Partitioning as an Optimization Problem. | M. Charles Babu, Matthieu Lemerre, Sbastien Bardin, Jean-Yves Marion |
| 2024 | Static Analysis of Quantum Programs. | Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni |
| 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 | Polynomial Analysis of Modular Arithmetic. | Thomas Seed, Chris Coppins, Andy King, Neil Evans |
| 2023 | Octagons Revisited - Elegant Proofs and Simplified Algorithms. | Michael Schwarz, Helmut Seidl |
| 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 | Domain Precision in Galois Connection-Less Abstract Interpretation. | Isabella Mastroeni, Michele Pasqua |
| 2023 | Reverse Template Processing Using Abstract Interpretation. | Matthieu Lemerre |
| 2023 | Abstract Interpretation in Industry - Experience and Lessons Learned. | Daniel Kstner, Reinhard Wilhelm, Christian Ferdinand |
| 2023 | Scaling up Roundoff Analysis of Functional Data Structure Programs. | Anastasia Isychev, Eva Darulova |
| 2023 | Error Localization for Sequential Effect Systems. | Colin S. Gordon, Chaewon Yun |
| 2023 | A Product of Shape and Sequence Abstractions. | Josselin Giet, Flix Ridoux, Xavier Rival |
| 2023 | How Fitting is Your Abstract Domain? | Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni |
| 2023 | ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses. | Florian Frohn, Jrgen Giesl |
| 2023 | Mutual Refinements of Context-Free Language Reachability. | Shuo Ding, Qirun Zhang |
| 2023 | Generalized Program Sketching by Abstract Interpretation and Logical Abduction. | Aleksandar S. Dimovski |
| 2023 | Error Invariants for Fault Localization via Abstract Interpretation. | Aleksandar S. Dimovski |