| 2020 | Formal Framework for Reasoning About the Precision of Dynamic Analysis. | Mila Dalla Preda, Roberto Giacobazzi, Niccol Marastoni |
| 2020 | Cost Analysis of Smart Contracts Via Parametric Resource Analysis. | Victor Perez-Carrasco, Maximiliano Klemen, Pedro Lpez-Garca, Jos Francisco Morales, Manuel V. Hermenegildo |
| 2020 | A Library Modeling Language for the Static Analysis of C Programs. | Abdelraouf Ouadjaout, Antoine Min |
| 2020 | Stratified Guarded First-Order Transition Systems. | Christan Mller, Helmut Seidl |
| 2020 | Simple and Efficient Computation of Minimal Weak Control Closure. | Abu Naser Masud |
| 2020 | Probabilistic Lipschitz Analysis of Neural Networks. | Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso |
| 2020 | Memory-Efficient Fixpoint Computation. | Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur |
| 2020 | Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. | Anastasiia Izycheva, Eva Darulova, Helmut Seidl |
| 2020 | Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking. | Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada |
| 2020 | Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. | Hugo Illous, Matthieu Lemerre, Xavier Rival |
| 2020 | Termination of Polynomial Loops. | Florian Frohn, Marcel Hark, Jrgen Giesl |
| 2020 | Exact and Linear-Time Gas-Cost Analysis. | Ankush Das, Shaz Qadeer |
| 2020 | Static Resource Analysis at Scale (Extended Abstract). | Ezgi iek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano |
| 2020 | On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2020 | Farkas-Based Tree Interpolation. | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvrinen, Grigory Fedyukovich, Natasha Sharygina |
| 2019 | An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection. | Hang Yu, David Monniaux |
| 2019 | Verifying Numerical Programs via Iterative Abstract Testing. | Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot |
| 2019 | Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. | Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue |
| 2019 | A Change-Based Heuristic for Static Analysis with Policy Iteration. | Marcus Vlker, Stefan Kowalewski |
| 2019 | Static Analysis of Data Science Software. | Caterina Urban |
| 2019 | Robustness Verification of Support Vector Machines. | Francesco Ranzato, Marco Zanella |
| 2019 | A Temporal Logic for Higher-Order Functional Programs. | Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi |
| 2019 | Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. | Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan |
| 2019 | Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. | Mayur Naik |
| 2019 | Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. | Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang |