| 2019 | A Change-Based Heuristic for Static Analysis with Policy Iteration. Marcus Völker, Stefan Kowalewski |
| 2019 | A Temporal Logic for Higher-Order Functional Programs. Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi |
| 2019 | Abstract Interpretation of Indexed Grammars. Marco Campion, Mila Dalla Preda, Roberto Giacobazzi |
| 2019 | Abstract Semantic Dependency. Patrick Cousot |
| 2019 | An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection. Hang Yu, David Monniaux |
| 2019 | Analysis of Software Patches Using Numerical Abstract Interpretation. David Delmas, Antoine Miné |
| 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 |
| 2019 | Direct Manipulation for Imperative Programs. Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni |
| 2019 | Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis. Yuxiang Lei, Yulei Sui |
| 2019 | Language Inclusion Algorithms as Complete Abstract Interpretations. Pierre Ganty, Francesco Ranzato, Pedro Valero |
| 2019 | Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets. Amir M. Ben-Amram, Jesús J. Doménech, Samir Genaim |
| 2019 | On the Monniaux Problem in Abstract Interpretation. Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell |
| 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 | Responsibility Analysis by Abstract Interpretation. Chaoqiang Deng, Patrick Cousot |
| 2019 | Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. Mayur Naik |
| 2019 | Revisiting Polyhedral Analysis for Hybrid Systems. Anna Becchi, Enea Zaffanella |
| 2019 | Robustness Verification of Support Vector Machines. Francesco Ranzato, Marco Zanella |
| 2019 | Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan |
| 2019 | Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings Bor-Yuh Evan Chang |
| 2019 | Static Analysis of Data Science Software. Caterina Urban |
| 2019 | Syntactic and Semantic Soundness of Structural Dataflow Analysis. Patrick Cousot |
| 2019 | Temporal Verification of Programs via First-Order Fixpoint Logic. Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno |
| 2019 | Verifying Numerical Programs via Iterative Abstract Testing. Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot |