| 1998 | Putting Pointer Analysis to Work. | Rakesh Ghiya, Laurie J. Hendren |
| 1998 | Classes and Mixins. | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
| 1998 | Fast Interprocedural Class Analysis. | Greg DeFouw, David Grove, Craig Chambers |
| 1998 | Alias Analysis of Executable Code. | Saumya K. Debray, Robert Muth, Matthew Weippert |
| 1998 | Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. | Christian S. Collberg, Clark D. Thomborson, Douglas Low |
| 1998 | Path-Sensitive Value-Flow Analysis. | Rastislav Bodk, Sadun Anik |
| 1998 | Escape Analysis: Correctness Proof, Implementation and Experimental Results. | Bruno Blanchet |
| 1998 | Maximal Static Expansion. | Denis Barthou, Albert Cohen, Jean-Francois Collard |
| 1998 | Edge Profiling versus Path Profiling: The Showdown. | Thomas Ball, Peter Mataga, Shmuel Sagiv |
| 1998 | Parallel Beta Reduction is not Elementary Recursive. | Andrea Asperti, Harry G. Mairson |
| 1998 | Correctness of Monadic State: An Imperative Call-by-Need Calculus. | Zena M. Ariola, Amr Sabry |
| 1998 | Barrier Inference. | Alexander Aiken, David Gay |
| 1997 | Denotational Semantics Using an Operationally-Based Term Model. | Mitchell Wand, Gregory T. Sullivan |
| 1997 | Fast and Accurate Flow-Insensitive Points-To Analysis. | Marc Shapiro, Susan Horwitz |
| 1997 | Constraints to Stop Higher-Order Deforestation. | Helmut Seidl, Morten Heine Srensen |
| 1997 | From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. | David Sands |
| 1997 | Typing Algorithm in Type Theory with Inheritance. | Amokrane Sabi |
| 1997 | Partitioning Dataflow Analyses Using Types. | Erik Ruf |
| 1997 | Synchronization Transformations for Parallel Computing. | Pedro C. Diniz, Martin C. Rinard |
| 1997 | Objective ML: A Simple Object-Oriented Extension of ML. | Didier Rmy, Jerome Vouillon |
| 1997 | Minimal Typings in Atomic Subtyping. | Jakob Rehof |
| 1997 | Is "Just in Time" = "Better Late than Never"? | Michael P. Plezbert, Ron Cytron |
| 1997 | Behavioral Equivalence in the Polymorphic Pi-calculus. | Benjamin C. Pierce, Davide Sangiorgi |
| 1997 | Reducing Nondeterminism while Specializing Logic Programs. | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
| 1997 | Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. | Catuscia Palamidessi |