| 2017 | A Declarative DSL for Customizing ASCII Art. Felix S. Klock II |
| 2017 | A Domain-Specific Language for Software-Defined Radio. Geoffrey Mainland |
| 2017 | An Overview of PρLog. Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer |
| 2017 | Boltzmann Samplers for Closed Simply-Typed Lambda Terms. Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau |
| 2017 | Canonicalizing High-Level Constructs in Picat. Neng-Fa Zhou, Jonathan Fruhman |
| 2017 | DALI for Cognitive Robotics: Principles and Prototype Implementation. Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone |
| 2017 | Eliminating Irrelevant Non-determinism in Functional Logic Programs. Sergio Antoy, Michael Hanus |
| 2017 | Extending Answer Set Programs with Interpreted Functions as First-Class Citizens. Christoph Redl |
| 2017 | Failing Faster: Overlapping Patterns for Property-Based Testing. Jonathan Fowler, Graham Hutton |
| 2017 | Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. Henrik Nilsson, Guerric Chupin |
| 2017 | Integrating Answer Set Programming with Object-Oriented Languages. Jakob Rath, Christoph Redl |
| 2017 | Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. Joost Vennekens |
| 2017 | Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings Yuliya Lierler, Walid Taha |
| 2017 | Selection Equilibria of Higher-Order Games. Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn |
| 2017 | Using Iterative Deepening for Probabilistic Logic Inference. Theofrastos Mantadelis, Ricardo Rocha |