| 2025 | On the Automated Verification of BGP Convergence. | Gerald Whitters, Haoyun Qin, Boon Thau Loo, Carolyn L. Talcott |
| 2025 | Fixture Layout Optimization in Wood Industry: A Case Study. | Anna Vitali, Roberto Amadini, Maurizio Gabbrielli |
| 2025 | Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations. | Kanta Takahata, Jonas Schpf, Naoki Nishida, Takahito Aoto |
| 2025 | Formalizing Weighted Pushdown Systems in Isabelle/HOL. | Anders Schlichtkrull, Morten Konggaard Schou |
| 2025 | Shallowly Embedded Functions. | Benedikt M. Rips, Niek Janssen, Mart Lubbers, Pieter W. M. Koopman |
| 2025 | An interactive type checker for dependent types with general recursion (System Description). | Valentin Pasquale, lvaro Garca-Prez |
| 2025 | An adequate while-language for stochastic hybrid computation. | Renato Neves, Jos Proena, Juliana Souza |
| 2025 | Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp. | Christopher Meiklejohn, Peter Van Roy |
| 2025 | A Reflection on Task-Oriented Programming. | Mart Lubbers, Tim Steenvoorden |
| 2025 | Folding Narrowing for the Analysis of Mutual Exclusion Protocols. | Ral Lpez-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata |
| 2025 | Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages. | Ugo Dal Lago |
| 2025 | Mechanized Type Soundness for Substructural Types using Iris. | Robbert Krebbers |
| 2025 | Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting. | Jan-Christoph Kassing, Leon Valentin Spitzer, Jrgen Giesl |
| 2025 | Transporting Theorems about Typeability in LF Across Schematically Defined Contexts. | Chase Johnson, Gopalan Nadathur |
| 2025 | Operational Game Semantics for Generative Algebraic Effects and Handlers. | Hamza Jaafar, Guilhem Jaber |
| 2025 | Determinism Types for Functional Logic Programming. | Michael Hanus, Kai-Oliver Prott |
| 2025 | Realisability and Complementability of Multiparty Session Types. | Cinzia Di Giusto, tienne Lozes, Pascal Urso |
| 2025 | Formalizing Languages with Binding Operators in Rewriting Logic. | Maribel Fernndez, Jos Meseguer |
| 2025 | Abstract machines and small-step semantics: a winning ticket for proof automation? | Alain Delat, Sandrine Blazy, Denis Merigoux |
| 2025 | Closure Conversion, Flat Environments, and the Complexity of Abstract Machines. | Beniamino Accattoli, Cludio Belo Loureno, Dan R. Ghica, Giulio Guerrieri, Claudio Sacerdoti Coen |
| 2024 | Grammar-based Pattern Matching and Type Checking for Difference Data Structures. | Naoki Yamamoto, Kazunori Ueda |
| 2024 | Language-Based Security for Low-Level MPC. | Christian Skalka, Joseph P. Near |
| 2024 | Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination. | ZhengPu Shi, Gang Chen |
| 2024 | The logical essence of call-by-name CPS translations. | Jos Esprito Santo, Filipa Mendes |
| 2024 | Concurrent monads for shared state. | Exequiel Rivas, Tarmo Uustalu |