SAS 2020

16 papers

1. A Library Modeling Language for the Static Analysis of C Programs · Abdelraouf Ouadjaout, Antoine Miné
2. Abstract Neural Networks · Matthew Sotoudeh, Aditya V. Thakur
3. Cost Analysis of Smart Contracts Via Parametric Resource Analysis · Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo
4. Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis · Anastasiia Izycheva, Eva Darulova, Helmut Seidl
5. Exact and Linear-Time Gas-Cost Analysis · Ankush Das, Shaz Qadeer
6. Farkas-Based Tree Interpolation · Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
7. Formal Framework for Reasoning About the Precision of Dynamic Analysis · Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni
8. Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries · Hugo Illous, Matthieu Lemerre, Xavier Rival
9. Memory-Efficient Fixpoint Computation · Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
10. On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs · Samuele Buro, Roy L. Crole, Isabella Mastroeni
11. Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking · Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada
12. Probabilistic Lipschitz Analysis of Neural Networks · Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso
13. Simple and Efficient Computation of Minimal Weak Control Closure · Abu Naser Masud
14. Static Resource Analysis at Scale (Extended Abstract) · Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano
15. Stratified Guarded First-Order Transition Systems · Christan Müller, Helmut Seidl
16. Termination of Polynomial Loops · Florian Frohn, Marcel Hark, Jürgen Giesl