| 2005 | Improved Fusion for Optimizing Generics. | Artem Alimarine, Sjaak Smetsers |
| 2004 | Symbolic Execution of Behavioral Requirements. | Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary |
| 2004 | An Implementation of Session Types. | Matthias Neubauer, Peter Thiemann |
| 2004 | Improved Compilation of Prolog to C Using Moded Types and Determinism Information. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2004 | Pruning in the Extended Andorra Model. | Ricardo Lopes, Vtor Santos Costa, Fernando M. A. Silva |
| 2004 | An Algebraic Theory of Polymorphic Temporal Media. | Paul Hudak |
| 2004 | Simplifying Dynamic Programming via Tabling. | Hai-Feng Guo, Gopal Gupta |
| 2004 | Supporting Decisions in Complex, Uncertain Domains with Declarative Languages. | Andrew Fall |
| 2004 | Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. | Martin Erwig, Zhe Fu |
| 2004 | Typing XHTML Web Applications in ML. | Martin Elsman, Ken Friis Larsen |
| 2004 | ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
| 2004 | A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). | Jess Correas, Jos M. Gmez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo |
| 2004 | Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. | Chiyan Chen, Dengping Zhu, Hongwei Xi |
| 2004 | A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. | Chiyan Chen, Rui Shi, Hongwei Xi |
| 2004 | Observing Functional Logic Computations. | Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch |
| 2004 | USA-Smart: Improving the Quality of Plans in Answer Set Planning. | Marcello Balduccini |
| 2004 | UUXML: A Type-Preserving XML Schema-Haskell Data Binding. | Frank Atanassow, Dave Clarke, Johan Jeuring |
| 2004 | Compositional Model-Views with Generic Graphical User Interfaces. | Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
| 2003 | Garbage Collection Algorithms for Java-Based Prolog Engines. | Qinan Zhou, Paul Tarau |
| 2003 | A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. | Ana Paula Toms, Jos Paulo Leal |
| 2003 | Sequence Quantification. | Peter Schachte |
| 2003 | Multi-agent Reactive Systems. | Prahladavaradan Sampath |
| 2003 | An Integrated Information System Powered by Prolog. | Antnio Porto |
| 2003 | Non-monotonic Reasoning on Beowulf Platforms. | Enrico Pontelli, Marcello Balduccini, F. Bermudez |
| 2003 | The Role of Declarative Languages in Mining Biological Databases. | C. David Page Jr. |