| 2021 | A Family of Unification-Oblivious Program Transformations and Their Applications. | Paul Tarau |
| 2021 | Putting Gradual Types to Work. | Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek |
| 2021 | ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs. | Sumit Padhiyar, K. C. Sivaramakrishnan |
| 2021 | Lightweight Declarative Server-Side Web Programming. | Michael Hanus |
| 2021 | Causal-Consistent Reversible Debugging: Improving CauDEr. | Juan Jos Gonzlez-Abril, Germn Vidal |
| 2021 | Synchronous Message-Passing with Priority. | Cheng-En Chuang, Grant Iraci, Lukasz Ziarek |
| 2021 | Data Validation Meets Answer Set Programming. | Mario Alviano, Carmine Dodaro, Arnel D. Zamayla |
| 2021 | Declarative Debugging of XML Queries. | Jess Manuel Almendros-Jimnez, Antonio Becerra-Tern |
| 2020 | Interactive Text Graph Mining with a Prolog-based Dialog Engine. | Paul Tarau, Eduardo Blanco |
| 2020 | RTMLton: An SML Runtime for Real-Time Systems. | Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek |
| 2020 | Whitebox Induction of Default Rules Using High-Utility Itemset Mining. | Farhad Shakerin, Gopal Gupta |
| 2020 | Variability-Aware Datalog. | Ramy Shahin, Marsha Chechik |
| 2020 | VRASP: A Virtual Reality Environment for Learning Answer Set Programming. | Vinh T. Nguyen, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy Dang |
| 2020 | On Repairing Web Services Workflows. | Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son |
| 2020 | A Timed IO Monad. | David Janin |
| 2020 | Exploiting Database Management Systems and Treewidth for Counting. | Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran |
| 2020 | Explanations for Dynamic Programming. | Martin Erwig, Prashant Kumar, Alan Fern |
| 2020 | A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams. | Johannes Eriksson, Masoumeh Parsa |
| 2020 | On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML. | Martin Elsman, Niels Hallenberg |
| 2020 | Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. | Sheung Chi Chan, James Cheney |
| 2020 | Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report. | Alex Brik, Jeffrey Xu |
| 2020 | AQuA: ASP-Based Visual Question Answering. | Kinjal Basu, Farhad Shakerin, Gopal Gupta |
| 2019 | A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. | Paul Tarau |
| 2019 | Classes of Arbitrary Kind. | Alejandro Serrano, Victor Cacciari Miraldo |
| 2019 | Proof-Carrying Plans. | Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond |