| 2015 | On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. | Paul Tarau |
| 2015 | A Haskell Implementation of a Rule-Based Program Transformation for C Programs. | Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mario |
| 2015 | Implementation and Performance of Probabilistic Inference Pipelines. | Dimitar Sht. Shterionov, Gerda Janssens |
| 2015 | CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. | Michael Hanus |
| 2015 | Reactive Single-Page Applications with Dynamic Dataflow. | Simon Fowler, Loc Denuzire, Adam Granicz |
| 2015 | Declaratively Solving Google Code Jam Problems with Picat. | Sergii Dymchenko, Mariia Mykhailova |
| 2015 | On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. | Flvio Cruz, Ricardo Rocha |
| 2015 | State Space Planning Using Transaction Logic. | Reza Basseda, Michael Kifer |
| 2015 | Ontology-Driven Data Semantics Discovery for Cyber-Security. | Marcello Balduccini, Sarah Kushner, Jacquelin Speck |
| 2014 | Partial Type Signatures for Haskell. | Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers |
| 2014 | A Declarative Specification of Giant Number Arithmetic. | Paul Tarau |
| 2014 | Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. | Tran Cao Son, Enrico Pontelli, Tiep Le |
| 2014 | R | K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan |
| 2014 | Towards Modeling Morality Computationally with Logic Programming. | Ari Saptawijaya, Lus Moniz Pereira |
| 2014 | The F# Computation Expression Zoo. | Tomas Petricek, Don Syme |
| 2014 | Generic Generic Programming. | Jos Pedro Magalhes, Andres Lh |
| 2014 | Abstract Modular Inference Systems and Solvers. | Yuliya Lierler, Miroslaw Truszczynski |
| 2014 | Compiling DNA Strand Displacement Reactions Using a Functional Programming Language. | Matthew R. Lakin, Andrew Phillips |
| 2014 | Expand: Towards an Extensible Pandoc System. | Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera |
| 2014 | Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. | Martin Elsman, Anders Schack-Nielsen |
| 2014 | Embedding Foreign Code. | Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
| 2014 | Exploring the Use of GPUs in Constraint Solving. | Federico Campeotto, Alessandro Dal Pal, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2014 | Sunroof: A Monadic DSL for Generating JavaScript. | Jan Bracker, Andy Gill |
| 2014 | On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. | Miguel Areias, Ricardo Rocha |
| 2013 | A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. | Vtor Rodrigues, Benny Akesson, Simo Melo de Sousa, Mrio Florido |