| 1997 | Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. | Glenn Ammons, Thomas Ball, James R. Larus |
| 1996 | GUM: A Portable Parallel Implementation of Haskell. | Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones |
| 1996 | TIL: a type-directed, optimizing compiler for ML (with retrospective) | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1996 | TIL: A Type-Directed Optimizing Compiler for ML. | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1996 | A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs. | Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee |
| 1996 | Realistic Compilation by Partial Evaluation. | Michael Sperber, Peter Thiemann |
| 1996 | Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler. | John C. Ruttenberg, Guang R. Gao, Woody Lichtenstein, Artour Stoutchinin |
| 1996 | Replay For Concurrent Non-Deterministic Shared Memory Applications. | Mark Russinovich, Bryce Cogswell |
| 1996 | Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. | Martin C. Rinard, Pedro C. Diniz |
| 1996 | Simple Objects for Standard ML. | John H. Reppy, Jon G. Riecke |
| 1996 | Relocating Machine Instructions by Currying. | Norman Ramsey |
| 1996 | Data Flow Frequency Analysis. | G. Ramalingam |
| 1996 | Optimizing ML with run-time code generation (with retrospective) | Peter Lee, Mark Leone |
| 1996 | Optimizing ML with Run-Time Code Generation. | Peter Lee, Mark Leone |
| 1996 | Data Specialization. | Todd B. Knoblock, Erik Ruf |
| 1996 | Flow-directed Inlining. | Suresh Jagannathan, Andrew K. Wright |
| 1996 | Static Debugging: Browsing the Web of Program Invariants. | Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen |
| 1996 | Static Detection of Dynamic Memory Errors. | David E. Evans |
| 1996 | VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System. | Dawson R. Engler |
| 1996 | A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints. | Alexandre E. Eichenberger, Edward S. Davidson |
| 1996 | Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. | Steven Dawson, C. R. Ramakrishnan, David Scott Warren |
| 1996 | Teapot: Language Support for Writing Memory Coherence Protocols. | Satish Chandra, Brad Richards, James R. Larus |
| 1996 | Global Communication Analysis and Optimization. | Soumen Chakrabarti, Manish Gupta, Jong-Deok Choi |
| 1996 | Printing Floating-Point Numbers Quickly and Accurately. | Robert G. Burger, R. Kent Dybvig |
| 1996 | Representing Control in the Presence of One-Shot Continuations. | Carl Bruggeman, Oscar Waddell, R. Kent Dybvig |