| 2020 | Rewrites as Terms through Justification Logic. | Pablo Barenbaum, Eduardo Bonelli |
| 2020 | Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. | Franco Barbanera, Ugo de'Liguoro |
| 2020 | The Machinery of Interaction. | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2019 | Exponential Elimination for Bicartesian Closed Categorical Combinators. | Nachiappan Valliappan, Alejandro Russo |
| 2019 | Intrinsically-Typed Mechanized Semantics for Session Types. | Peter Thiemann |
| 2019 | Spacetime Programming: A Synchronous Language for Composable Search Strategies. | Pierre Talbot |
| 2019 | TopHat: A formal foundation for task-oriented programming. | Tim Steenvoorden, Nico Naus, Markus Klinik |
| 2019 | Under Control: Compositionally Correct Closure Conversion with Mutable State. | Phillip Mates, Jamie Perconti, Amal Ahmed |
| 2019 | Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. | Yanhong A. Liu, Saksham Chand, Scott D. Stoller |
| 2019 | Smart Contracts as Authorized Production Rules. | Ben Lippmeier, Amos Robinson, Andrae Muys |
| 2019 | 10 Years of the Higher-Order Model Checking Project (Extended Abstract). | Naoki Kobayashi |
| 2019 | Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. | Kentaro Kikuchi, Takahito Aoto, Isao Sasano |
| 2019 | Functional programming with λ-tree syntax. | Ulysse Grard, Dale Miller, Gabriel Scherer |
| 2019 | Relational Symbolic Execution. | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
| 2019 | Sharing Equality is Linear. | Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2019 | Generic Encodings of Constructor Rewriting Systems. | Horatiu Cirstea, Pierre-Etienne Moreau |
| 2019 | Functional Reactive Programming, restated. | Guerric Chupin, Henrik Nilsson |
| 2019 | Foundations of Session Types: 10 Years Later. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2019 | Property-Based Testing via Proof Reconstruction. | Roberto Blanco, Dale Miller, Alberto Momigliano |
| 2019 | Exception Handling and Classical Logic. | Steffen van Bakel |
| 2019 | Crumbling Abstract Machines. | Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen |
| 2019 | Type-Driven Verification of Non-functional Properties. | Christopher Brown, Adam D. Barwell, Yoann Marquer, Cline Minh, Olivier Zendra |
| 2019 | Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. | Andreas Abel, Christian Sattler |
| 2019 | An Adequate While-Language for Hybrid Computation. | Sergey Goncharov, Renato Neves |
| 2018 | Lazy Abstraction for Higher-Order Program Verification. | Taku Terao |