| 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 | Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan |
| 2019 | Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura |
| 2019 | Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. Long H. Pham, Jun Sun, Quang Loc Le |
| 2019 | Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy |
| 2019 | Dissecting Widening: Separating Termination from Information. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
| 2019 | Existential Types for Relaxed Noninterference. Raimil Cruz, Éric Tanter |
| 2019 | Factorization and Normalization, Essentially. Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
| 2019 | Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. Masayuki Mizuno, Eijiro Sumii |
| 2019 | J-ReCoVer: Java Reducer Commutativity Verifier. Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu |
| 2019 | LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. Yutaka Nagashima |
| 2019 | Lightweight Functional Logic Meta-Programming. Nada Amin, William E. Byrd, Tiark Rompf |
| 2019 | Manifest Contracts with Intersection Types. Yuki Nishida, Atsushi Igarashi |
| 2019 | Mimalloc: Free List Sharding in Action. Daan Leijen, Benjamin Zorn, Leonardo de Moura |
| 2019 | On Strings in Software Model Checking. Hossein Hojjat, Philipp Rümmer, Ali Shamakhi |
| 2019 | Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings Anthony Widjaja Lin |
| 2019 | Proving that Programs Are Differentially Private. Annabelle McIver, Carroll Morgan |
| 2019 | Pumping, with or Without Choice. Aquinas Hobor, Elaine Li, Frank Stephan |
| 2019 | Recursion Schemes in Coq. Kosuke Murata, Kento Emoto |
| 2019 | Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies. Tukaram Muske, Rohith Talluri, Alexander Serebrenik |
| 2019 | Simulations in Rank-Based Büchi Automata Complementation. Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál |
| 2019 | Succinct Determinisation of Counting Automata via Sphere Construction. Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar |
| 2019 | TxForest: A DSL for Concurrent Filestores. Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster |
| 2019 | Uniform Random Process Model Revisited. Wenbo Zhang, Huan Long, Xian Xu |