SAS 2024

18 papers

1. Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations · Philipp Kern, Carsten Sinz
2. 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
3. BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code · Ian Smith
4. ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers · Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
5. Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel · Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte
6. Full Control-Flow Sensitivity for Definitional Interpreters · Kimball Germane
7. GoGuard: Efficient Static Blocking Bug Detection for Go · Bozhen Liu, Dhruti Joshi
8. Lift-Offline: Instruction Lifter Generators · Nicholas Coughlin, Alistair Michael, Kait Lam
9. On the Role of Cognizance in Responsibility · Laura Canaia, Mila Dalla Preda
10. Quantitative Static Timing Analysis · Denis Mazzucato, Marco Campion, Caterina Urban
11. Robustness Verification of Multi-label Neural Network Classifiers · Julian Mour, Dana Drachsler-Cohen
12. Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler · Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi
13. Static Analysis of Quantum Programs · Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
14. Synthesizing Abstract Transformers for Reduced-Product Domains · Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy
15. Trace Partitioning as an Optimization Problem · M. Charles Babu, Matthieu Lemerre, Sébastien Bardin, Jean-Yves Marion
16. Under-Approximating Memory Abstractions · Marco Milanese, Antoine Miné
17. Verification of Programs with ADTs Using Shallow Horn Clauses · Théo Losekoot, Thomas Genet, Thomas P. Jensen
18. Verifying Components of Arm® Confidential Computing Architecture with ESBMC · Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro