| 2019 | A Categorical Model of an \mathbf i/o -typed \pi -calculus. Ken Sakayori, Takeshi Tsukada |
| 2019 | A Process Algebra for Link Layer Protocols. Rob van Glabbeek, Peter Höfner, Michael Markl |
| 2019 | A Static Higher-Order Dependency Pair Framework. Carsten Fuhs, Cynthia Kop |
| 2019 | An Abstract Domain for Trees with Numeric Relations. Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout |
| 2019 | Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2019 | Codata in Action. Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones |
| 2019 | Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. Henning Basold, Ekaterina Komendantskaya, Yue Li |
| 2019 | Compiling Sandboxes: Formally Verified Software Fault Isolation. Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke |
| 2019 | Composing Bidirectional Programs Monadically. Li-yao Xia, Dominic Orchard, Meng Wang |
| 2019 | Counters in Kappa: Semantics, Simulation, and Static Analysis. Pierre Boutillier, Ioana Cristescu, Jérôme Feret |
| 2019 | Data Races and Static Analysis for Interrupt-Driven Kernels. Nikita Chopra, Rekha R. Pai, Deepak D'Souza |
| 2019 | Distributive Disjoint Polymorphism for Compositional Programming. Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2019 | Effectful Normal Form Bisimulation. Ugo Dal Lago, Francesco Gavazzo |
| 2019 | Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. Dylan McDermott, Alan Mycroft |
| 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 | Handling Polymorphic Algebraic Effects. Taro Sekiyama, Atsushi Igarashi |
| 2019 | Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster |
| 2019 | Manifest Deadlock-Freedom for Shared Session Types. Stephanie Balzer, Bernardo Toninho, Frank Pfenning |
| 2019 | Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
| 2019 | On the Multi-Language Construction. Samuele Buro, Isabella Mastroeni |
| 2019 | One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. Ferdinand Vesely, Kathleen Fisher |
| 2019 | Probabilistic Programming Inference via Intensional Semantics. Simon Castellan, Hugo Paquet |
| 2019 | Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings Luís Caires |
| 2019 | Robustly Safe Compilation. Marco Patrignani, Deepak Garg |
| 2019 | Safe Deferred Memory Reclamation with Types. Ismail Kuru, Colin S. Gordon |
| 2019 | Semi-automated Reasoning About Non-determinism in C Expressions. Dan Frumin, Léon Gondelman, Robbert Krebbers |
| 2019 | Time Credits and Time Receipts in Iris. Glen Mével, Jacques-Henri Jourdan, François Pottier |
| 2019 | Types by Need. Beniamino Accattoli, Giulio Guerrieri, Maico Leberle |
| 2019 | Verifiable Certificates for Predicate Subtyping. Frédéric Gilbert |