| 2019 | Proving that Programs Are Differentially Private. | Annabelle McIver, Carroll Morgan |
| 2019 | Mimalloc: Free List Sharding in Action. | Daan Leijen, Benjamin Zorn, Leonardo de Moura |
| 2019 | A Dependently Typed Multi-stage Calculus. | Akira Kawata, Atsushi Igarashi |
| 2019 | A Type-Based HFL Model Checking Algorithm. | Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada |
| 2019 | Succinct Determinisation of Counting Automata via Sphere Construction. | Luks Holk, Ondrej Lengl, Olli Saarikivi, Lenka Turonov, Margus Veanes, Toms Vojnar |
| 2019 | On Strings in Software Model Checking. | Hossein Hojjat, Philipp Rmmer, Ali Shamakhi |
| 2019 | Pumping, with or Without Choice. | Aquinas Hobor, Elaine Li, Frank Stephan |
| 2019 | Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. | Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan |
| 2019 | Dissecting Widening: Separating Termination from Information. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | TxForest: A DSL for Concurrent Filestores. | Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster |
| 2019 | Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. | Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy |
| 2019 | Existential Types for Relaxed Noninterference. | Raimil Cruz, ric Tanter |
| 2019 | Simulations in Rank-Based Bchi Automata Complementation. | Yu-Fang Chen, Vojtech Havlena, Ondrej Lengl |
| 2019 | J-ReCoVer: Java Reducer Commutativity Verifier. | Yu-Fang Chen, Chang-Yi Chiang, Luks Holk, Wei-Tsung Kao, Hsin-Hung Lin, Toms Vojnar, Yean-Fu Wen, Wei-Cheng Wu |
| 2019 | Lightweight Functional Logic Meta-Programming. | Nada Amin, William E. Byrd, Tiark Rompf |
| 2019 | Factorization and Normalization, Essentially. | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
| 2018 | Modular Verification of SPARCv8 Code. | Junpeng Zha, Xinyu Feng, Lei Qiao |
| 2018 | Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. | Urara Yamada, Kenichi Asai |
| 2018 | Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. | Thibault Suzanne, Antoine Min |
| 2018 | On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation. | Li Sui, Jens Dietrich, Michael Emery, Shawn Rasheed, Amjed Tahir |
| 2018 | Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. | Taro Sekiyama, Kohei Suenaga |
| 2018 | Particle-Style Geometry of Interaction as a Module System. | Ulrich Schpp |
| 2018 | Model Checking Differentially Private Properties. | Depeng Liu, Bow-Yaw Wang, Lijun Zhang |
| 2018 | Complexity Analysis of Tree Share Structure. | Xuan Bach Le, Aquinas Hobor, Anthony W. Lin |
| 2018 | A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. | Quang Loc Le, Mengda He |