| 2025 | Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings Roberto Giacobazzi, Alessandra Gorla |
| 2024 | Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations. Philipp Kern, Carsten Sinz |
| 2024 | An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo |
| 2024 | BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code. Ian Smith |
| 2024 | ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers. Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh |
| 2024 | Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel. Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte |
| 2024 | Full Control-Flow Sensitivity for Definitional Interpreters. Kimball Germane |
| 2024 | GoGuard: Efficient Static Blocking Bug Detection for Go. Bozhen Liu, Dhruti Joshi |
| 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 | Quantitative Static Timing Analysis. Denis Mazzucato, Marco Campion, Caterina Urban |
| 2024 | Robustness Verification of Multi-label Neural Network Classifiers. Julian Mour, Dana Drachsler-Cohen |
| 2024 | Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler. Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi |
| 2024 | Static Analysis of Quantum Programs. Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni |
| 2024 | Synthesizing Abstract Transformers for Reduced-Product Domains. Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy |
| 2024 | Trace Partitioning as an Optimization Problem. M. Charles Babu, Matthieu Lemerre, Sébastien Bardin, Jean-Yves Marion |
| 2024 | Under-Approximating Memory Abstractions. Marco Milanese, Antoine Miné |
| 2024 | Verification of Programs with ADTs Using Shallow Horn Clauses. Théo Losekoot, Thomas Genet, Thomas P. Jensen |
| 2024 | Verifying Components of Arm Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro |