| 2023 | Multicompatibility for Multiparty-Session Composition. | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida |
| 2023 | A Calculus of Delayed Reductions. | Steffen van Bakel, Nicolas Wu, Emma Tye |
| 2022 | A Predicate Construct for Declarative Programming in Imperative Languages. | James Smith, Xiangyu Guo, Ajay Bansal |
| 2022 | Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus. | David Sabel, Manfred Schmidt-Schau, Luca Maio |
| 2022 | A Logic for Formalizing Properties of LF Specifications. | Gopalan Nadathur, Mary Southern |
| 2022 | User Guided Abductive Proof Generation for Answer Set Programming Queries. | Avishkar Mahajan, Martin Strecker, Meng Weng Wong |
| 2022 | A Faithful Description of ECMAScript Algorithms. | Adam Khayam, Louis Noizet, Alan Schmitt |
| 2022 | A Monadic Implementation of Functional Logic Programs. | Michael Hanus, Kai-Oliver Prott, Finn Teegen |
| 2022 | CheckINN: Wide Range Neural Network Verification in Imandra. | Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt |
| 2022 | Session Types Revisited: A Decade Later. | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
| 2022 | Nominal Matching Logic. | James Cheney, Maribel Fernndez |
| 2022 | ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. | Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
| 2022 | A Typed Lambda Calculus with Gradual Intersection Types. | Pedro ngelo, Mrio Florido |
| 2022 | Certified Derivation of Small-Step From Big-Step Skeletal Semantics. | Guillaume Ambal, Sergue Lenglet, Alan Schmitt, Camille Nos |
| 2021 | Towards Elastic Incrementalization for Datalog. | David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2021 | The Computational Structure of Programs and the Universe. | Stephen Wolfram |
| 2021 | A Decade of Dependent Session Types. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2021 | Automated Trust Analysis of Copland Specifications for Layered Attestations✱. | Paul D. Rowe, John D. Ramsdell, Ian D. Kretz |
| 2021 | Causality Error Tracing in HipHop.js. | Jayanth Krishnamurthy, Manuel Serrano |
| 2021 | Papaya: Global Typestate Analysis of Aliased Objects. | Mathias Jakobsen, Alice Ravier, Ornela Dardha |
| 2021 | PrivaLog: a Privacy-aware Logic Programming Language. | Joosep Jger, Alisa Pankova |
| 2021 | A Mechanized Semantic Metalanguage for High Level Synthesis. | William L. Harrison, Chris Hathhorn, Gerard Allwein |
| 2021 | Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. | Marco Gaboardi |
| 2021 | Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. | Gaspard Frey, Jean-Pierre Jouannaud |
| 2021 | Type-based Enforcement of Infinitary Trace Properties for Java. | Serdar Erbatur, Ulrich Schpp, Chuangjie Xu |