| 2012 | Efficient Tabling of Structured Data Using Indexing and Program Transformation. | Christian Theil Have, Henning Christiansen |
| 2012 | A Segment-Swapping Approach for Executing Trapped Computations. | Pablo Chico de Guzmn, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | A Declarative Approach for Software Modeling. | Mayer Goldberg, Guy Wiener |
| 2012 | Handshaking in Kansas Lava Using Patch Logic. | Andy Gill, Bowe Neuenschwander |
| 2012 | Distributed Policy Specification and Interpretation with Classified Advertisements. | Nicholas Coleman |
| 2012 | Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. | Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
| 2012 | Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. | David Broman, Henrik Nilsson |
| 2012 | The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. | Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
| 2012 | Resource-Safe Systems Programming with Embedded Domain Specific Languages. | Edwin C. Brady, Kevin Hammond |
| 2012 | Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. | Marcello Balduccini, Yuliya Lierler |
| 2012 | Contracts and Specifications for Functional Logic Programming. | Sergio Antoy, Michael Hanus |
| 2012 | Symbolic Execution of Concurrent Objects in CLP. | Elvira Albert, Puri Arenas, Miguel Gmez-Zamalloa |
| 2011 | On the Portability of Prolog Applications. | Jan Wielemaker, Vtor Santos Costa |
| 2011 | Nettle: Taking the Sting Out of Programming Network Routers. | Andreas Voellmy, Paul Hudak |
| 2011 | The F# Asynchronous Programming Model. | Don Syme, Tomas Petricek, Dmitry Lomov |
| 2011 | Using Constraints for Intrusion Detection: The NeMODe System. | Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu |
| 2011 | Declarative Belief Set Merging Using Merging Plans. | Christoph Redl, Thomas Eiter, Thomas Krennwallner |
| 2011 | Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. | Tomas Petricek, Don Syme |
| 2011 | Learning Language from Its Perceptual Context. | Raymond J. Mooney |
| 2011 | Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. | Edison Mera, Teresa Trigo, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2011 | Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. | Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers |
| 2011 | A Declarative API for Particle Systems. | Pavel Krajcevski, John H. Reppy |
| 2011 | Intel Core | Roope Kaivola |
| 2011 | Kanor - A Declarative Language for Explicit Communication. | Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine |
| 2011 | Plato: A Compiler for Interactive Web Forms. | Timothy L. Hinrichs |