| 1999 | A Programming Logic for Sequential Java. | Arnd Poetzsch-Heffter, Peter Mller |
| 1999 | Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. | Andreas Podelski, Witold Charatonik, Martin Mller |
| 1999 | Deterministic Expressions in C. | Michael Norrish |
| 1999 | Interprocedural Control Flow Analysis. | Flemming Nielson, Hanne Riis Nielson |
| 1999 | Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). | Alan Mycroft |
| 1999 | An Idealized MetaML: Simpler, and More Expressive. | Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
| 1999 | Dynamic Programming via Static Incrementalization. | Yanhong A. Liu, Scott D. Stoller |
| 1999 | Expressing Structural Properties as Language Constructs. | Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen |
| 1999 | Quotienting | Andy King, Jan-Georg Smaus, Patricia M. Hill |
| 1999 | Polytypic Compact Printing and Parsing. | Patrik Jansson, Johan Jeuring |
| 1999 | Functional Reactive Programming (Abstract). | Paul Hudak |
| 1999 | Types and Subtypes for Client-Server Interactions. | Simon J. Gay, Malcolm Hole |
| 1999 | Types for Safe Locking. | Cormac Flanagan, Martn Abadi |
| 1999 | An Operational Investigation of the CPS Hierarchy. | Olivier Danvy, Zhe Yang |
| 1999 | A Decidable Logic for Describing Linked Data Structures. | Michael Benedikt, Thomas W. Reps, Shmuel Sagiv |
| 1999 | Constructor Subtyping. | Gilles Barthe, Maria Joo Frade |
| 1998 | A Generic Framework for Specialization (Abridged Version). | Peter Thiemann |
| 1998 | Concurrent Constraint Programming Based on Functional Programming (Extended Abstract). | Gert Smolka |
| 1998 | Systematic Change of Data Representation: Program Manipulations and a Case Study. | William L. Scherlis |
| 1998 | A Complete Declarative Debugger of Missing Answers. | Salvatore Ruggieri |
| 1998 | Building a Bridge between Pointer Aliases and Program Dependences. | John L. Ross, Shmuel Sagiv |
| 1998 | From Classes to Objects via Subtyping. | Didier Rmy |
| 1998 | Mode-Automata: About Modes and States for Reactive Systems. | Florence Maraninchi, Yann Rmond |
| 1998 | Recursive Object Types in a Logic of Object-Oriented Programs. | K. Rustan M. Leino |
| 1998 | Code Motion and Code Placement: Just Synonyms? | Jens Knoop, Oliver Rthing, Bernhard Steffen |