| 2003 | A functional correspondence between evaluators and abstract machines. | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard |
| 2002 | Generative programming for embedded systems. | Janos Sztipanovits, Gabor Karsai |
| 2002 | Using the heap to eliminate stack accesses. | Zoltan Somogyi, Peter J. Stuckey |
| 2002 | Coercion as homomorphism: type inference in a system with subtyping and overloading. | Alexander V. Shafarenko |
| 2002 | Combining an improvement to PARMA trailing with trailing analysis. | Tom Schrijvers, Bart Demoen |
| 2002 | Functional reactive robotics: an exercise in principled integration of domain-specific languages. | Izzet Pembeci, Henrik Nilsson, Gregory D. Hager |
| 2002 | Mobile calculi for distributed programming. | Catuscia Palamidessi |
| 2002 | Constraint-based mode analysis of mercury. | David Overton, Zoltan Somogyi, Peter J. Stuckey |
| 2002 | Towards a primitive higher order calculus of broadcasting systems. | Karol Ostrovsky, K. V. S. Prasad, Walid Taha |
| 2002 | On the expressive power of temporal concurrent constraint programming languages. | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
| 2002 | Precise pair-sharing analysis of logic programs. | Vitaly Lagoon, Peter J. Stuckey |
| 2002 | Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis. | Neil D. Jones, Arne J. Glenstrup |
| 2002 | Java bytecode as a typed term calculus. | Tomoyuki Higuchi, Atsushi Ohori |
| 2002 | Modular termination of context-sensitive rewriting. | Bernhard Gramlich, Salvador Lucas |
| 2002 | System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. | Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner |
| 2002 | Semantic analysis of normalisation by evaluation for typed lambda calculus. | Marcelo P. Fiore |
| 2002 | Transforming the .NET intermediate language using path logic programming. | Stephen Drape, Oege de Moor, Ganesh Sittampalam |
| 2002 | Full integration of subtyping and if-expression. | Gang Chen |
| 2002 | Automated protocol verification in linear logic. | Marco Bozzano, Giorgio Delzanno |
| 2002 | A generic operator over discrete time intervals. | Jrmie Blanc, Rachid Echahed |
| 2002 | Secure calling contexts for stack inspection. | Frdric Besson, Thomas de Grenier de Latour, Thomas P. Jensen |
| 2002 | True separate compilation of Java classes. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2001 | Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. | Franklyn A. Turbak, J. B. Wells |
| 2001 | When Do Bounds and Domain Propagation Lead to the Same Search Space? | Christian Schulte, Peter J. Stuckey |
| 2001 | Should UML Be Used for Declarative Programming? | David A. Schmidt |