| 2015 | Jthread, a deadlock-free mutex library. | Johan Grande, Grard Boudol, Manuel Serrano |
| 2015 | Concolic testing for functional languages. | Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas |
| 2015 | Static analysis of cloud elasticity. | Abel Garcia, Cosimo Laneve, Michael Lienhardt |
| 2015 | A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. | Daniel Gall, Thom W. Frhwirth |
| 2015 | A devil's advocate against termination of direct recursion. | Thom W. Frhwirth |
| 2015 | Verification by abstract interpretation, soundness and abstract induction. | Patrick Cousot |
| 2015 | Automated verification of safety properties of declarative networking programs. | Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo |
| 2015 | Declarative interpretations of session-based concurrency. | Mauricio Cano, Camilo Rueda, Hugo A. Lpez, Jorge A. Prez |
| 2015 | Debugging of wrong and missing answers for datalog programs with constraint handling rules. | Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2015 | Computation in focused intuitionistic logic. | Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson |
| 2015 | On modeling planning problems in tabled logic programming. | Roman Bartk, Agostino Dovier, Neng-Fa Zhou |
| 2015 | Semantics-based generation of verification conditions by program specialization. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2015 | Enhancing the specification and verification techniques of multiparty sessions in SOC. | Abeer S. Al-Humaimeedy, Maribel Fernndez |
| 2014 | Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. | Fan Yang, Santiago Escobar, Catherine Meadows, Jos Meseguer, Paliath Narendran |
| 2014 | Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. | Paul Tarau |
| 2014 | Assertion-based Debugging of Higher-Order (C)LP Programs. | Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo |
| 2014 | Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. | Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen |
| 2014 | Organising Low-Level Programs using Higher Types. | Ulrich Schpp |
| 2014 | Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. | Steven J. Ramsay |
| 2014 | BiFluX: A Bidirectional Functional Update Language for XML. | Hugo Pacheco, Tao Zan, Zhenjiang Hu |
| 2014 | Declarative Game Programming: Distilled Tutorial. | Henrik Nilsson, Ivan Perez |
| 2014 | Elimination of Square Roots and Divisions by Partial Inlining. | Pierre Neron |
| 2014 | Parametricity and Proving Free Theorems for Functional-Logic Languages. | Stefan Mehner, Daniel Seidel, Lutz Straburger, Janis Voigtlnder |
| 2014 | Proving Operational Termination of Declarative Programs in General Logics. | Salvador Lucas, Jos Meseguer |
| 2014 | Declarative Software Development: Distilled Tutorial. | Ralf Lmmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre |