| 2013 | A Portable and Efficient Implementation of Coinductive Logic Programming. | Paulo Moura |
| 2013 | Parallel Performance of Declarative Programming Using a PGAS Model. | Rui Machado, Salvador Abreu, Daniel Diaz |
| 2013 | Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. | Senlin Liang, Michael Kifer |
| 2013 | A Library for Declarative Resolution-Independent 2D Graphics. | Paul Klint, Atze van der Ploeg |
| 2013 | Dependently Typed Web Client Applications - FRP in Agda in HTML5. | Alan Jeffrey |
| 2013 | Supporting Pruning in Tabled LP. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2013 | Analysing the Entire Wikipedia History with Database Supported Haskell. | George Giorgidze, Torsten Grust, Iassen Halatchliyski, Michael E. Kummer |
| 2013 | The Generalized Intensional Transformation for Implementing Lazy Functional Languages. | Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis |
| 2013 | Reversible Language Extensions and Their Application in Debugging. | Zo Drey, Jos F. Morales, Manuel V. Hermenegildo, Manuel Carro |
| 2013 | LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis. | Sergio Castro, Kim Mens, Paulo Moura |
| 2013 | A Declarative-Friendly API for Web Document Manipulation. | Benjamin Canou, Emmanuel Chailloux, Vincent Balat |
| 2013 | proSQLite: Prolog File Based Databases via an SQLite Interface. | Sander Canisius, Nicos Angelopoulos, Lodewyk F. A. Wessels |
| 2013 | Implementing Equational Constraints in a Functional Language. | Bernd Brael, Michael Hanus, Bjrn Peemller, Fabian Reck |
| 2013 | Formalizing a Broader Recursion Coverage in SQL. | Gabriel Aranda-Lpez, Susana Nieva, Fernando Senz-Prez, Jaime Snchez-Hernndez |
| 2013 | Integrative Functional Statistics in Logic Programming. | Nicos Angelopoulos, Vtor Santos Costa, Joo Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk F. A. Wessels |
| 2013 | On the Efficient Implementation of Mode-Directed Tabling. | Joo Santos, Ricardo Rocha |
| 2012 | LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. | Kenny Qili Zhu, Kathleen Fisher, David Walker |
| 2012 | Virtualizing Real-World Objects in FRP. | Daniel Winograd-Cort, Hai Liu, Paul Hudak |
| 2012 | A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. | Paul Tarau |
| 2012 | Make Things Now! Pragmatic Functional Programming in Haskell. | Don Stewart |
| 2012 | Typing the Numeric Tower. | Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen |
| 2012 | The Environment as an Argument - Context-Aware Functional Programming. | Pedro M. N. Martins, Julie A. McCann, Susan Eisenbach |
| 2012 | Recent Advances in Declarative Networking. | Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou |
| 2012 | Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. | Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund |
| 2012 | Palovca: Describing and Executing Graph Algorithms in Haskell. | Michael Lesniak |