| 2017 | A core calculus for provenance inspection. Wilmer Ricciotti |
| 2017 | A verification technique for deterministic parallel programs. Marieke Huisman |
| 2017 | Accessing biological data as Prolog facts. Nicos Angelopoulos, Jan Wielemaker |
| 2017 | Alpha-renaming of higher-order meta-expressions. David Sabel |
| 2017 | Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. Roman Barták, Adrien Maillard |
| 2017 | Causally consistent reversible choreographies: a monitors-as-memories approach. Claudio Antares Mezzina, Jorge A. Pérez |
| 2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control. José Espírito Santo, Silvia Ghilezan |
| 2017 | Conditional narrowing modulo SMT and axioms. Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
| 2017 | Copattern matching and first-class observations in OCaml, with a macro. Paul Laforgue, Yann Régis-Gianas |
| 2017 | Defunctionalisation as modular closure conversion. Ulrich Schöpp |
| 2017 | Environments and the complexity of abstract machines. Beniamino Accattoli, Bruno Barras |
| 2017 | Expressive and strongly type-safe code generation. Thomas Winant, Jesper Cockx, Dominique Devriese |
| 2017 | Function definitions for compound values in object-oriented languages. Jacek Chrzaszcz, Aleksy Schubert |
| 2017 | Issues in ethical data management. Serge Abiteboul |
| 2017 | Machine fusion: merging merges, more or less. Amos Robinson, Ben Lippmeier |
| 2017 | Practical evaluation of the Lasp programming model at large scale: an experience report. Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa |
| 2017 | Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017 Wim Vanhoof, Brigitte Pientka |
| 2017 | Programming by examples: applications, algorithms, and ambiguity resolution. Sumit Gulwani |
| 2017 | Selective unification in constraint logic programming. Fred Mesnard, Étienne Payet, Germán Vidal |
| 2017 | Shrink fast correctly! Olivier Savary Bélanger, Andrew W. Appel |
| 2017 | Theory learning with symmetry breaking. Jacob M. Howe, Edward Robbins, Andy King |
| 2017 | Verifiable semantic difference languages. Thibaut Girka, David Mentré, Yann Régis-Gianas |