| 2019 | A Static Higher-Order Dependency Pair Framework. | Carsten Fuhs, Cynthia Kop |
| 2019 | Semi-automated Reasoning About Non-determinism in C Expressions. | Dan Frumin, Lon Gondelman, Robbert Krebbers |
| 2019 | Codata in Action. | Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones |
| 2019 | Data Races and Static Analysis for Interrupt-Driven Kernels. | Nikita Chopra, Rekha R. Pai, Deepak D'Souza |
| 2019 | Probabilistic Programming Inference via Intensional Semantics. | Simon Castellan, Hugo Paquet |
| 2019 | On the Multi-Language Construction. | Samuele Buro, Isabella Mastroeni |
| 2019 | Counters in Kappa: Semantics, Simulation, and Static Analysis. | Pierre Boutillier, Ioana Cristescu, Jrme Feret |
| 2019 | Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. | Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2019 | Distributive Disjoint Polymorphism for Compositional Programming. | Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2019 | Compiling Sandboxes: Formally Verified Software Fault Isolation. | Frdric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke |
| 2019 | Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. | Henning Basold, Ekaterina Komendantskaya, Yue Li |
| 2019 | Manifest Deadlock-Freedom for Shared Session Types. | Stephanie Balzer, Bernardo Toninho, Frank Pfenning |
| 2019 | Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. | Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong |
| 2019 | Types by Need. | Beniamino Accattoli, Giulio Guerrieri, Maico Leberle |
| 2018 | Let Arguments Go First. | Ningning Xie, Bruno C. d. S. Oliveira |
| 2018 | Consistent Subtyping for All. | Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira |
| 2018 | Evaluating Design Tradeoffs in Numeric Static Analysis for Java. | Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks |
| 2018 | A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. | Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek |
| 2018 | An Abstract Interpretation Framework for Input Data Usage. | Caterina Urban, Peter Mller |
| 2018 | On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. | Bernardo Toninho, Nobuko Yoshida |
| 2018 | A Separation Logic for a Promising Semantics. | Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis |
| 2018 | Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management. | Lau Skorstengaard, Dominique Devriese, Lars Birkedal |
| 2018 | Behavioural Equivalence via Modalities for Algebraic Effects. | Alex Simpson, Niels F. W. Voorneveld |
| 2018 | Explicit Effect Subtyping. | Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers |
| 2018 | Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. | Vincent Rahli, Ivana Vukotic, Marcus Vlp, Paulo Jorge Esteves Verssimo |