| 2015 | A devil's advocate against termination of direct recursion. Thom W. Frühwirth |
| 2015 | A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. Daniel Gall, Thom W. Frühwirth |
| 2015 | An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia |
| 2015 | Automated verification of safety properties of declarative networking programs. Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo |
| 2015 | Automatic amortized analysis. Martin Hofmann |
| 2015 | Computation in focused intuitionistic logic. Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson |
| 2015 | Concolic testing for functional languages. Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas |
| 2015 | Debugging of wrong and missing answers for datalog programs with constraint handling rules. Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
| 2015 | Declarative interpretations of session-based concurrency. Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez |
| 2015 | Detecting concurrency bugs in higher-order programs through abstract interpretation. Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |
| 2015 | Enhancing the specification and verification techniques of multiparty sessions in SOC. Abeer S. Al-Humaimeedy, Maribel Fernández |
| 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 | Improvements in a functional core language with call-by-need operational semantics. Manfred Schmidt-Schauß, David Sabel |
| 2015 | Jthread, a deadlock-free mutex library. Johan Grande, Gérard Boudol, Manuel Serrano |
| 2015 | Lasp: a language for distributed, coordination-free programming. Christopher Meiklejohn, Peter Van Roy |
| 2015 | On a uniform representation of combinators, arithmetic, lambda terms and types. Paul Tarau |
| 2015 | On modeling planning problems in tabled logic programming. Roman Barták, Agostino Dovier, Neng-Fa Zhou |
| 2015 | Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015 Moreno Falaschi, Elvira Albert |
| 2015 | Proof checking and logic programming. Dale Miller |
| 2015 | ReactiveML, ten years later. Louis Mandel, Cédric Pasteur, Marc Pouzet |
| 2015 | Search by constraint propagation. Thierry Martinez, François Fages, Sylvain Soliman |
| 2015 | Semantics-based generation of verification conditions by program specialization. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2015 | Static analysis of cloud elasticity. Abel Garcia, Cosimo Laneve, Michael Lienhardt |
| 2015 | Verification by abstract interpretation, soundness and abstract induction. Patrick Cousot |