| 2017 | Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. | Joost Vennekens |
| 2017 | Extending Answer Set Programs with Interpreted Functions as First-Class Citizens. | Christoph Redl |
| 2017 | Integrating Answer Set Programming with Object-Oriented Languages. | Jakob Rath, Christoph Redl |
| 2017 | Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. | Henrik Nilsson, Guerric Chupin |
| 2017 | Using Iterative Deepening for Probabilistic Logic Inference. | Theofrastos Mantadelis, Ricardo Rocha |
| 2017 | A Domain-Specific Language for Software-Defined Radio. | Geoffrey Mainland |
| 2017 | A Declarative DSL for Customizing ASCII Art. | Felix S. Klock II |
| 2017 | Selection Equilibria of Higher-Order Games. | Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn |
| 2017 | Failing Faster: Overlapping Patterns for Property-Based Testing. | Jonathan Fowler, Graham Hutton |
| 2017 | An Overview of PρLog. | Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer |
| 2017 | DALI for Cognitive Robotics: Principles and Prototype Implementation. | Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone |
| 2017 | Boltzmann Samplers for Closed Simply-Typed Lambda Terms. | Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau |
| 2017 | Eliminating Irrelevant Non-determinism in Functional Logic Programs. | Sergio Antoy, Michael Hanus |
| 2016 | The Picat-SAT Compiler. | Neng-Fa Zhou, Hkan Kjellerstrand |
| 2016 | From Monads to Effects and Back. | Niki Vazou, Daan Leijen |
| 2016 | Computing with Catalan Families, Generically. | Paul Tarau |
| 2016 | A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. | Paul Tarau |
| 2016 | Generic Matching of Tree Regular Expressions over Haskell Data Types. | Alejandro Serrano, Jurriaan Hage |
| 2016 | Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. | Jan Jelnek, Roman Bartk |
| 2016 | The KB Paradigm and Its Application to Interactive Configuration. | Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker |
| 2016 | Haskino: A Remote Monad for Programming the Arduino. | Mark Grebe, Andy Gill |
| 2016 | A GPU Implementation of the ASP Computation. | Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella |
| 2016 | Simplifying Probabilistic Programs Using Computer Algebra. | Jacques Carette, Chung-chieh Shan |
| 2016 | Default Rules for Curry. | Sergio Antoy, Michael Hanus |
| 2015 | Programming Microcontrollers in OCaml: The OCaPIC Project. | Benot Vaugon, Philippe Wang, Emmanuel Chailloux |