| 2016 | Iterated process analysis over lattice-valued regular expressions. | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2016 | Towards a framework for algorithm recognition in binary code. | Frdric Mesnard, tienne Payet, Wim Vanhoof |
| 2016 | Demand-driven incremental object queries. | Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin |
| 2016 | Typechecking protocols with Mungo and StMungo. | Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay |
| 2016 | Exploration of language specifications by compilation to first-order logic. | Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini |
| 2016 | Actors may synchronize, safely! | Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
| 2016 | A framework for easing the development of applications embedding answer set programming. | Davide Fusc, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri |
| 2016 | Language-integrated provenance. | Stefan Fehrenbach, James Cheney |
| 2016 | The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. | Thomas Ehrhard, Giulio Guerrieri |
| 2016 | Higher-order logic programming: an expressive language for representing qualitative preferences. | Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis |
| 2016 | Analysis of access control policy updates through narrowing. | Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois |
| 2016 | Effect-dependent transformations for concurrent programs. | Nick Benton, Martin Hofmann, Vivek Nigam |
| 2016 | Description and evaluation of a generic design to integrate CLP and tabled execution. | Joaqun Arias, Manuel Carro |
| 2016 | Testing of concurrent and imperative software using CLP. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2015 | On a uniform representation of combinators, arithmetic, lambda terms and types. | Paul Tarau |
| 2015 | Detecting concurrency bugs in higher-order programs through abstract interpretation. | Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |
| 2015 | Improvements in a functional core language with call-by-need operational semantics. | Manfred Schmidt-Schau, David Sabel |
| 2015 | Expressing preferences in logic programming using an infinite-valued logic. | Panos Rondogiannis, Antonis Troumpoukis |
| 2015 | From monoids to near-semirings: the essence of MonadPlus and alternative. | Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers |
| 2015 | Proof checking and logic programming. | Dale Miller |
| 2015 | Lasp: a language for distributed, coordination-free programming. | Christopher Meiklejohn, Peter Van Roy |
| 2015 | Search by constraint propagation. | Thierry Martinez, Franois Fages, Sylvain Soliman |
| 2015 | ReactiveML, ten years later. | Louis Mandel, Cdric Pasteur, Marc Pouzet |
| 2015 | Automatic amortized analysis. | Martin Hofmann |
| 2015 | An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. | Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia |