| 2010 | Skeleton Composition Using Remote Data. | Mischa Dieterle, Thomas Horstmeyer, Rita Loogen |
| 2010 | On the Implementation of the CLP( | Vtor Santos Costa |
| 2010 | Static Detection of Race Conditions in Erlang. | Maria Christakis, Konstantinos Sagonas |
| 2010 | Conversion by Evaluation. | Mathieu Boespflug |
| 2010 | An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. | Miguel Areias, Ricardo Rocha |
| 2010 | Automating Mathematical Program Transformations. | Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann |
| 2009 | Typed Datalog. | David Zook, Emir Pasalic, Beata Sarna-Starosta |
| 2009 | Ad Hoc Data and the Token Ambiguity Problem. | Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu |
| 2009 | Declarative Network Verification. | Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky |
| 2009 | Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. | Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son |
| 2009 | Interoperating Logic Engines. | Paul Tarau, Arun K. Majumdar |
| 2009 | Implementing Thread Cancellation in Multithreaded Prolog Systems. | Atef Suleiman, John Miller |
| 2009 | High-Level Interaction with Relational Databases in Logic Programming. | Antnio Porto |
| 2009 | Layered Models Top-Down Querying of Normal Logic Programs. | Lus Moniz Pereira, Alexandre Miguel Pinto |
| 2009 | On Preferring and Inspecting Abductive Models. | Lus Moniz Pereira, Pierangelo Dell'Acqua, Gonalo Lopes |
| 2009 | Operational Semantics for Declarative Networking. | Juan Antonio Navarro Prez, Andrey Rybalchenko |
| 2009 | High Level Thread-Based Competitive Or-Parallelism in Logtalk. | Paulo Moura, Ricardo Rocha, Sara C. Madeira |
| 2009 | Secure Implementation of Meta-predicates. | Paulo Moura |
| 2009 | Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell. | Ketil Malde, Bryan O'Sullivan |
| 2009 | Recycle Your Arrays! | Roman Leshchinskiy |
| 2009 | Declarative Programming of User Interfaces. | Michael Hanus, Christof Klu |
| 2009 | Towards a Complete Scheme for Tabled Execution Based on Program Transformation. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | Toward a Practical Module System for ACL2. | Carl Eastlund, Matthias Felleisen |
| 2009 | Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. | David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman |
| 2009 | One Table Fits All. | Jorge Costa, Ricardo Rocha |