SAS 2025

16 papers

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