| 2026 | Static Analysis - 32nd International Symposium, SAS 2025, Singapore, October 13-14, 2025, Proceedings Hakjoo Oh, Yulei Sui |
| 2025 | A Programming Language for Feasible Solutions. Weijun Chen, Yuxi Fu, Huan Long |
| 2025 | AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty. Zixin Huang, Jacob Laurel, Saikat Dutta, Sasa Misailovic |
| 2025 | Abstracting Concolic Execution for Soft Contract Verification. Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover |
| 2025 | Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types. Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato |
| 2025 | Bounded-Exhaustive Subspace Diversification for SMT Solver Testing. Junda Zheng, Peisen Yao |
| 2025 | Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis. Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte |
| 2025 | Contextual Equality Saturation. Alexandre Drewery, Thomas P. Jensen, David Pichardie |
| 2025 | Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters. Noah Van Es, Bram Vandenbogaerde, Coen De Roover |
| 2025 | Ductape: Optimizing Dynamically Typed Programs Using Ahead-of-Time Compilation and Data-Flow Analysis. Adi Harif, Shachar Itzhaky |
| 2025 | Enhancing Neural Network Robustness via Synthesis of Repair Programs. Tom Yuviler, Dana Drachsler-Cohen |
| 2025 | Formal Analysis of Networked PLC Controllers Interacting with Physical Environments. Jaeseo Lee, Kyungmin Bae |
| 2025 | Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell. Bram Vandenbogaerde, Sarah Verbelen, Noah Van Es, Coen De Roover |
| 2025 | On a Simple Problem Due to Yves Bertot. Olivier Danvy |
| 2025 | Relating Distances and Abstractions - An Abstract Interpretation Perspective. Marco Campion, Isabella Mastroeni, Caterina Urban |
| 2025 | Specifying and Verifying Future Conditions. Yahui Song, Darius Foo, Wei-Ngan Chin |
| 2025 | Verifying Neural Networks with PyRAT. Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani |