| 2017 | Defunctionalisation as modular closure conversion. | Ulrich Schpp |
| 2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control. | Jos Esprito Santo, Silvia Ghilezan |
| 2017 | Alpha-renaming of higher-order meta-expressions. | David Sabel |
| 2017 | Machine fusion: merging merges, more or less. | Amos Robinson, Ben Lippmeier |
| 2017 | A core calculus for provenance inspection. | Wilmer Ricciotti |
| 2017 | Causally consistent reversible choreographies: a monitors-as-memories approach. | Claudio Antares Mezzina, Jorge A. Prez |
| 2017 | Selective unification in constraint logic programming. | Fred Mesnard, tienne Payet, Germn Vidal |
| 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 | Copattern matching and first-class observations in OCaml, with a macro. | Paul Laforgue, Yann Rgis-Gianas |
| 2017 | A verification technique for deterministic parallel programs. | Marieke Huisman |
| 2017 | Theory learning with symmetry breaking. | Jacob M. Howe, Edward Robbins, Andy King |
| 2017 | Programming by examples: applications, algorithms, and ambiguity resolution. | Sumit Gulwani |
| 2017 | Verifiable semantic difference languages. | Thibaut Girka, David Mentr, Yann Rgis-Gianas |
| 2017 | Function definitions for compound values in object-oriented languages. | Jacek Chrzaszcz, Aleksy Schubert |
| 2017 | Shrink fast correctly! | Olivier Savary Blanger, Andrew W. Appel |
| 2017 | Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. | Roman Bartk, Adrien Maillard |
| 2017 | Accessing biological data as Prolog facts. | Nicos Angelopoulos, Jan Wielemaker |
| 2017 | Conditional narrowing modulo SMT and axioms. | Luis Aguirre, Narciso Mart-Oliet, Miguel Palomino, Isabel Pita |
| 2017 | Environments and the complexity of abstract machines. | Beniamino Accattoli, Bruno Barras |
| 2017 | Issues in ethical data management. | Serge Abiteboul |
| 2016 | Strand spaces with choice via a process algebra semantics. | Fan Yang, Santiago Escobar, Catherine Meadows, Jos Meseguer, Sonia Santiago |
| 2016 | Reducing the overhead of assertion run-time checks via static analysis. | Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo |
| 2016 | Unification of program expressions with recursive bindings. | Manfred Schmidt-Schau, David Sabel |
| 2016 | Proving inductive validity of constrained inequalities. | Takahiro Nagao, Naoki Nishida |
| 2016 | Challenges in compiling Coq. | Greg Morrisett |