| 2002 | Compiling Embedded Programs to Byte Code. | Morten Rhiger |
| 2002 | Using a Declarative Language to Build an Experimental Analysis Tool. | Catherine Meadows |
| 2002 | Compiler Construction in Higher Order Logic Programming. | Chuck C. Liang |
| 2002 | Typed Combinators for Generic Traversal. | Ralf Lmmel, Joost Visser |
| 2002 | A Better XML Parser through Functional Programming. | Oleg Kiselyov |
| 2002 | Functional Approach to Texture Generation. | Jerzy Karczmarczuk |
| 2002 | Linear Scan Register Allocation in a High-Performance Erlang Compiler. | Erik Johansson, Konstantinos Sagonas |
| 2002 | Modeling Engineering Structures with Constrained Objects. | Bharat Jayaraman, Pallavi Tambay |
| 2002 | Semantics-Based Filtering: Logic Programming's Killer App? | Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou |
| 2002 | Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. | John P. Gallagher, Germn Puebla |
| 2002 | Adding Apples and Oranges. | Martin Erwig, Margaret M. Burnett |
| 2002 | How to Talk to Your Computer so that It Will Listen. | Vernica Dahl |
| 2002 | Suspending and Resuming Computations in Engines for SLG Evaluation. | Lus Fernando Castro, Terrance Swift, David Scott Warren |
| 2002 | A Debugging Scheme for Declarative Equation Based Modeling Languages. | Peter Bunus, Peter Fritzson |
| 2002 | Single-Threaded Objects in ACL2. | Robert S. Boyer, J Strother Moore |
| 2001 | A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. | Satyam Tyagi, Paul Tarau |
| 2001 | A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. | C. R. Ramakrishnan |
| 2001 | Spatio-temporal Annotated Constraint Logic Programming. | Alessandra Raffaet, Thom W. Frhwirth |
| 2001 | Construction and Optimization of a Parallel Engine for Answer Set Programming. | Enrico Pontelli, Omar El-Khatib |
| 2001 | FVision: A Declarative Language for Visual Tracking. | John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager |
| 2001 | An A-Prolog Decision Support System for the Space Shuttle. | Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry |
| 2001 | Constraint Database Models Characterizing Timed Bisimilarity. | Supratik Mukhopadhyay, Andreas Podelski |
| 2001 | A Novel Implementation of the Extended Andorra Model. | Ricardo Lopes, Vtor Santos Costa, Fernando M. A. Silva |
| 2001 | Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. | Michael Leuschel |
| 2001 | State Generation in the PARMC Model Checker. | Owen Kaser |