| 2008 | Efficient Reasoning for Nogoods in Constraint Solvers with BDDs. | Sathiamoorthy Subbarayan |
| 2008 | Certified Development Tools Implementation in Objective Caml. | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colao, Thomas Moniot, Philippe Wang |
| 2008 | High-Level Multi-threading Programming in Logtalk. | Paulo Moura, Paul Crocker, Paulo Nunes |
| 2008 | Automatic Coding Rule Conformance Checking Using Logic Programming. | Guillem Marpons-Ucero, Julio Mario-Carballo, Manuel Carro, ngel Herranz-Nieva, Juan Jos Moreno-Navarro, Lars-ke Fredlund |
| 2008 | Industrial Functional Programming. | John Launchbury |
| 2008 | Model-Based Testing of Thin-Client Web Applications and Navigation Input. | Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer |
| 2008 | Specialising Simulator Generators for High-Performance Monte-Carlo Methods. | Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik |
| 2008 | Matchete: Paths through the Pattern Matching Jungle. | Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek |
| 2008 | An Improved Continuation Call-Based Implementation of Tabling. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Cludio Silva, Ricardo Rocha |
| 2008 | Switched-On Yampa. | George Giorgidze, Henrik Nilsson |
| 2008 | Parser Combinators for Ambiguous Left-Recursive Grammars. | Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan |
| 2008 | A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. | Mary F. Fernndez, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum |
| 2008 | Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning. | Laleh Mousavi Eshkevari, Venera Arnaoudova, Constantinos Constantinides |
| 2008 | Unification of Arrays in Spreadsheets with Logic Programming. | Philip T. Cox, Patrick K. Nicholson |
| 2008 | Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | High-Level Database Programming in Curry. | Bernd Brael, Michael Hanus, Marion Mller |
| 2008 | Flexible, Rule-Based Constraint Model Linearisation. | Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey |
| 2008 | Scheduling Light-Weight Parallelism in ArTCoP. | Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl |
| 2008 | Hierarchical Master-Worker Skeletons. | Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe |
| 2008 | DCGs + Memoing = Packrat Parsing but Is It Worth It? | Ralph Becket, Zoltan Somogyi |
| 2008 | The Role of Abduction in Declarative Authorization Policies. | Moritz Y. Becker, Sebastian Nanz |
| 2007 | Compiling Constraint Handling Rules for Efficient Tabled Evaluation. | Beata Sarna-Starosta, C. R. Ramakrishnan |
| 2007 | The Joins Concurrency Library. | Claudio V. Russo |
| 2007 | On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. | Ricardo Rocha |
| 2007 | From Zinc to Design Model. | Reza Rafeh, Maria J. Garca de la Banda, Kim Marriott, Mark Wallace |