| 2006 | Translating Description Logic Queries to Prolog. | Zsolt Nagy, Gergely Lukcsy, Pter Szeredi |
| 2006 | Controlling Search Space Materialization in a Practical Declarative Debugger. | Ian MacLarty, Zoltan Somogyi |
| 2006 | Querying Complex Graphs. | Yanhong A. Liu, Scott D. Stoller |
| 2006 | A Hybrid BDD and SAT Finite Domain Constraint Solver. | Peter Hawkins, Peter J. Stuckey |
| 2006 | Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. | Sandrine-Dominique Gouraud, Arnaud Gotlieb |
| 2006 | Modeling Genome Evolution with a DSEL for Probabilistic Programming. | Martin Erwig, Steve Kollmansberger |
| 2006 | Adding Constraint Solving to Mercury. | Ralph Becket, Maria J. Garca de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace |
| 2005 | Safe Programming with Pointers Through Stateful Views. | Dengping Zhu, Hongwei Xi |
| 2005 | A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. | Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka |
| 2005 | Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. | Qian Wang, Gopal Gupta, Michael Leuschel |
| 2005 | Role-Based Declarative Synchronization for Reconfigurable Systems. | Vlad Tanasescu, Pawel T. Wojciechowski |
| 2005 | Towards a More Practical Hybrid Probabilistic Logic Programming Framework. | Emad Saad, Enrico Pontelli |
| 2005 | Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. | Norman Ramsey |
| 2005 | An Ordered Logic Program Solver. | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2005 | Solving Collaborative Fuzzy Agents Problems with CLP(FD). | Susana Muoz-Hernndez, Jos Manul Gmez-Prez |
| 2005 | Improving Memory Usage in the BEAM. | Ricardo Lopes, Vtor Santos Costa |
| 2005 | The Program Inverter LRinv and Its Structure. | Masahiko Kawabe, Robert Glck |
| 2005 | Functional Framework for Sound Synthesis. | Jerzy Karczmarczuk |
| 2005 | Type Class Directives. | Bastiaan Heeren, Jurriaan Hage |
| 2005 | Code Compression. | Saumya K. Debray |
| 2005 | Character-Based Cladistics and Answer Set Programming. | Daniel R. Brooks, Esra Erdem, James W. Minett, Donald Ringe |
| 2005 | Specializing Narrowing for Timetable Generation: A Case Study. | Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frdric Prost |
| 2005 | A Full Pattern-Based Paradigm for XML Query Processing. | Vronique Benzaken, Giuseppe Castagna, Cdric Miachon |
| 2005 | Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. | James Bailey, Peter J. Stuckey |
| 2005 | Solving Constraints on Sets of Spatial Objects. | Jess Manuel Almendros-Jimnez, Antonio Corral |