| 2015 | A Haskell Implementation of a Rule-Based Program Transformation for C Programs. Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño |
| 2015 | CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. Michael Hanus |
| 2015 | Declaratively Solving Google Code Jam Problems with Picat. Sergii Dymchenko, Mariia Mykhailova |
| 2015 | Implementation and Performance of Probabilistic Inference Pipelines. Dimitar Sht. Shterionov, Gerda Janssens |
| 2015 | On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. Flávio Cruz, Ricardo Rocha |
| 2015 | On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. Paul Tarau |
| 2015 | Ontology-Driven Data Semantics Discovery for Cyber-Security. Marcello Balduccini, Sarah Kushner, Jacquelin Speck |
| 2015 | Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings Enrico Pontelli, Tran Cao Son |
| 2015 | Programming Microcontrollers in OCaml: The OCaPIC Project. Benoît Vaugon, Philippe Wang, Emmanuel Chailloux |
| 2015 | Reactive Single-Page Applications with Dynamic Dataflow. Simon Fowler, Loïc Denuzière, Adam Granicz |
| 2015 | State Space Planning Using Transaction Logic. Reza Basseda, Michael Kifer |