| 2019 | Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis. | Yuxiang Lei, Yulei Sui |
| 2019 | Direct Manipulation for Imperative Programs. | Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni |
| 2019 | Language Inclusion Algorithms as Complete Abstract Interpretations. | Pierre Ganty, Francesco Ranzato, Pedro Valero |
| 2019 | On the Monniaux Problem in Abstract Interpretation. | Nathanal Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2019 | Responsibility Analysis by Abstract Interpretation. | Chaoqiang Deng, Patrick Cousot |
| 2019 | Analysis of Software Patches Using Numerical Abstract Interpretation. | David Delmas, Antoine Min |
| 2019 | Abstract Semantic Dependency. | Patrick Cousot |
| 2019 | Syntactic and Semantic Soundness of Structural Dataflow Analysis. | Patrick Cousot |
| 2019 | Abstract Interpretation of Indexed Grammars. | Marco Campion, Mila Dalla Preda, Roberto Giacobazzi |
| 2019 | Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets. | Amir M. Ben-Amram, Jess J. Domnech, Samir Genaim |
| 2019 | Revisiting Polyhedral Analysis for Hybrid Systems. | Anna Becchi, Enea Zaffanella |
| 2019 | Temporal Verification of Programs via First-Order Fixpoint Logic. | Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno |
| 2018 | Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction. | Florian Zuleger |
| 2018 | Abstract Interpretation of CTL Properties. | Caterina Urban, Samuel Ueltschi, Peter Mller |
| 2018 | Interactive Verification of Distributed Protocols Using Decidable Logic. | Sharon Shoham |
| 2018 | Volume-Based Merge Heuristics for Disjunctive Numeric Domains. | Andrew Ruef, Kesha Hietala, Arlen Cox |
| 2018 | Incremental Verification Using Trace Abstraction. | Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann |
| 2018 | Invertible Linear Transforms of Numerical Abstract Domains. | Francesco Ranzato, Marco Zanella |
| 2018 | Efficiently Learning Safety Proofs from Appearance as well as Behaviours. | Sumanth Prabhu, Kumar Madhukar, R. Venkatesh |
| 2018 | New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. | Ruzica Piskac |
| 2018 | Experience Developing and Deploying Concurrency Analysis at Facebook. | Peter W. O'Hearn |
| 2018 | The Impact of Program Transformations on Static Program Analysis. | Kedar S. Namjoshi, Zvonimir Pavlinovic |
| 2018 | Process-Local Static Analysis of Synchronous Processes. | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2018 | Deductive Verification in Decidable Fragments with Ivy. | Kenneth L. McMillan, Oded Padon |
| 2018 | Verifying Bounded Subset-Closed Hyperproperties. | Isabella Mastroeni, Michele Pasqua |