| 2022 | Principles of Staged Static+Dynamic Partial Analysis. | Aditya Anand, Manas Thakur |
| 2022 | Solving Invariant Generation for Unsolvable Loops. | Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovcs, Marcel Moosbrugger, Miroslav Stankovic |
| 2021 | Automatic Synthesis of Data-Flow Analyzers. | Xuezheng Xu, Xudong Wang, Jingling Xue |
| 2021 | Compositional Verification of Smart Contracts Through Communication Abstraction. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |
| 2021 | Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. | Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato |
| 2021 | Thread-Modular Analysis of Release-Acquire Concurrency. | Divyanjali Sharma, Subodh Sharma |
| 2021 | Improving Thread-Modular Abstract Interpretation. | Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani |
| 2021 | Automated Verification of the Parallel Bellman-Ford Algorithm. | Mohsen Safari, Wytse Oortwijn, Marieke Huisman |
| 2021 | A Multilanguage Static Analysis of Python Programs with Native C Extensions. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2021 | Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. | Denis Mazzucato, Caterina Urban |
| 2021 | Selective Context-Sensitivity for k-CFA with CFL-Reachability. | Jingbo Lu, Dongjie He, Jingling Xue |
| 2021 | Selectively-Amortized Resource Bounding. | Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi |
| 2021 | Toward Neural-Network-Guided Program Synthesis and Verification. | Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno |
| 2021 | Verifying Low-Dimensional Input Neural Networks via Input Quantization. | Kai Jia, Martin C. Rinard |
| 2021 | Exploiting Verified Neural Networks via Floating Point Numerical Error. | Kai Jia, Martin C. Rinard |
| 2021 | Static Analysis of ReLU Neural Networks with Tropical Polyhedra. | Eric Goubault, Sbastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan |
| 2021 | Disjunctive Interval Analysis. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2021 | Verified Functional Programming of an Abstract Interpreter. | Lucas Franceschino, David Pichardie, Jean-Pierre Talpin |
| 2021 | Static Analysis of Endian Portability by Abstract Interpretation. | David Delmas, Abdelraouf Ouadjaout, Antoine Min |
| 2021 | Accelerating Program Analyses in Datalog by Merging Library Facts. | Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang |
| 2021 | Backward Symbolic Execution with Loop Folding. | Marek Chalupa, Jan Strejcek |
| 2021 | Data Abstraction: A General Framework to Handle Program Verification of Data Structures. | Julien Braine, Laure Gonnord, David Monniaux |
| 2021 | Hash Consed Points-To Sets. | Mohamad Barbar, Yulei Sui |
| 2021 | Fast and Efficient Bit-Level Precision Tuning. | Assal Adj, Dorra Ben Khalifa, Matthieu Martel |
| 2020 | Abstract Neural Networks. | Matthew Sotoudeh, Aditya V. Thakur |