| 2021 | A Superposition-Based Calculus for Diagrammatic Reasoning. | Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier |
| 2021 | Intersection types for a λ-calculus with global store. | Ugo de'Liguoro, Riccardo Treglia |
| 2021 | Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. | Ieva Daukantas, Alessandro Bruni, Carsten Schrmann |
| 2021 | Free Objects in Constraint-logic Object-oriented Programming. | Jan C. Dagefrde, Hendrik Winkelmann, Herbert Kuchen |
| 2021 | Static analysis of pattern-free properties. | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2021 | Deep Semantic Versioning for Evolution and Variability. | Lus Carvalho, Joo Costa Seco |
| 2021 | From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. | Jonas Bhm, Michael Hanus, Finn Teegen |
| 2021 | Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. | Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
| 2021 | A Derived Reasonable Abstract Machine for Strong Call by Value. | Malgorzata Biernacka, Witold Charatonik, Tomasz Drab |
| 2021 | Minimal Session Types for the π-calculus. | Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Prez |
| 2021 | Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. | Abhishek De, Luc Pellissier, Alexis Saurin |
| 2021 | A Typed Slicing Compilation of the Polymorphic RPC calculus. | Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders |
| 2020 | Moulinog: A Generator of Random Student Assignments Written in Prolog. | Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher |
| 2020 | Declarative abstractions for tensor program partitioning. | Dimitrios Vytiniotis |
| 2020 | Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. | Mallku Soldevila, Beta Ziliani, Daniel Fridlender |
| 2020 | Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. | Abhiroop Sarkar, Mary Sheeran |
| 2020 | Degrading Lists. | Dylan McDermott, Maciej Pirg, Tarmo Uustalu |
| 2020 | Non-monotonic Spatial Reasoning for Safety Analysis in Construction. | Beidi Li, Jochen Teizer, Carl Schultz |
| 2020 | Continuous Verification of Machine Learning: a Declarative Programming Approach. | Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz |
| 2020 | Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. | Maja H. Kirkeby, Robert Glck |
| 2020 | Proof-Carrying Plans: a Resource Logic for AI Planning. | Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick |
| 2020 | Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. | Maribel Fernndez, Jnos Varga |
| 2020 | A Computational Understanding of Classical (Co)Recursion. | Paul Downen, Zena M. Ariola |
| 2020 | Verified Linear Session-Typed Concurrent Programming. | Ankush Das, Frank Pfenning |
| 2020 | A Dependently Typed Linear π-Calculus in Agda. | Luca Ciccone, Luca Padovani |