| 2021 | Towards Substructural Property-Based Testing. | Marco Mantovani, Alberto Momigliano |
| 2021 | The Next 700 Program Transformers. | Geoff W. Hamilton |
| 2021 | Prefix-Based Tracing in Message-Passing Concurrency. | Juan Jos Gonzlez-Abril, Germn Vidal |
| 2021 | S-Semantics-an Example. | Wlodzimierz Drabent |
| 2021 | Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines. | Maciej Buszka, Dariusz Biernacki |
| 2021 | Data Type Inference for Logic Programming. | Joo Barbosa, Mrio Florido, Vtor Santos Costa |
| 2020 | Runtime Complexity Analysis of Logically Constrained Rewriting. | Sarah Winkler, Georg Moser |
| 2020 | Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. | Mario Wenzel, Stefan Brass |
| 2020 | Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic. | Paul Tarau |
| 2020 | Nominal Unification with Letrec and Environment-Variables. | Manfred Schmidt-Schau, Yunus D. K. Kutz |
| 2020 | Symbolic Computation in Maude: Some Tapas. | Jos Meseguer |
| 2020 | A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic. | Satoshi Matsuoka |
| 2020 | Generating Functions for Probabilistic Programs. | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler |
| 2020 | Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. | Kentaro Kikuchi, Takahito Aoto |
| 2020 | Resourceful Program Synthesis from Graded Linear Types. | Jack Hughes, Dominic Orchard |
| 2020 | slepice: Towards a Verified Implementation of Type Theory in Type Theory. | Frantisek Farka |
| 2020 | Reasoning in the Theory of Heap: Satisfiability and Interpolation. | Zafer Esen, Philipp Rmmer |
| 2020 | Terminating Non-disjoint Combined Unification. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2020 | Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. | Sren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jir Srba |
| 2020 | Pattern Eliminating Transformations. | Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2020 | Testing Your (Static Analysis) Truths. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2020 | Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | Slicing Unconditional Jumps with Unnecessary Control Dependencies. | Carlos Galindo, Sergio Prez, Josep Silva |
| 2019 | Synthesizing Imperative Code from Answer Set Programming Specifications. | Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta |
| 2019 | Generalization-Driven Semantic Clone Detection in CLP. | Wim Vanhoof, Gonzague Yernaux |