| 2020 | A Library Modeling Language for the Static Analysis of C Programs. Abdelraouf Ouadjaout, Antoine Miné |
| 2020 | Abstract Neural Networks. Matthew Sotoudeh, Aditya V. Thakur |
| 2020 | 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 |
| 2020 | Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. Anastasiia Izycheva, Eva Darulova, Helmut Seidl |
| 2020 | Exact and Linear-Time Gas-Cost Analysis. Ankush Das, Shaz Qadeer |
| 2020 | Farkas-Based Tree Interpolation. Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina |
| 2020 | Formal Framework for Reasoning About the Precision of Dynamic Analysis. Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni |
| 2020 | Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. Hugo Illous, Matthieu Lemerre, Xavier Rival |
| 2020 | Memory-Efficient Fixpoint Computation. Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
| 2020 | On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2020 | Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada |
| 2020 | Probabilistic Lipschitz Analysis of Neural Networks. Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso |
| 2020 | Simple and Efficient Computation of Minimal Weak Control Closure. Abu Naser Masud |
| 2020 | Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings David Pichardie, Mihaela Sighireanu |
| 2020 | Static Resource Analysis at Scale (Extended Abstract). Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano |
| 2020 | Stratified Guarded First-Order Transition Systems. Christan Müller, Helmut Seidl |
| 2020 | Termination of Polynomial Loops. Florian Frohn, Marcel Hark, Jürgen Giesl |