| 1996 | A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs. Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee |
| 1996 | A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints. Alexandre E. Eichenberger, Edward S. Davidson |
| 1996 | Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. Martin C. Rinard, Pedro C. Diniz |
| 1996 | Data Flow Frequency Analysis. G. Ramalingam |
| 1996 | Data Specialization. Todd B. Knoblock, Erik Ruf |
| 1996 | Efficient and Language-Independent Mobile Programs. Ali-Reza Adl-Tabatabai, Geoff Langdale, Steven Lucco, Robert Wahbe |
| 1996 | Fast, Effective Dynamic Compilation. Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, Brian N. Bershad |
| 1996 | Flow-directed Inlining. Suresh Jagannathan, Andrew K. Wright |
| 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 | Generalized Dominance and Control Dependence. Gianfranco Bilardi, Keshav Pingali |
| 1996 | Global Communication Analysis and Optimization. Soumen Chakrabarti, Manish Gupta, Jong-Deok Choi |
| 1996 | Optimizing ML with Run-Time Code Generation. Peter Lee, Mark Leone |
| 1996 | Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. Steven Dawson, C. R. Ramakrishnan, David Scott Warren |
| 1996 | Printing Floating-Point Numbers Quickly and Accurately. Robert G. Burger, R. Kent Dybvig |
| 1996 | Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996 Charles N. Fischer |
| 1996 | Realistic Compilation by Partial Evaluation. Michael Sperber, Peter Thiemann |
| 1996 | Relocating Machine Instructions by Currying. Norman Ramsey |
| 1996 | Replay For Concurrent Non-Deterministic Shared Memory Applications. Mark Russinovich, Bryce Cogswell |
| 1996 | Representing Control in the Presence of One-Shot Continuations. Carl Bruggeman, Oscar Waddell, R. Kent Dybvig |
| 1996 | Simple Garbage-Collector-Safety. Hans-Juergen Boehm |
| 1996 | Simple Objects for Standard ML. John H. Reppy, Jon G. Riecke |
| 1996 | Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler. John C. Ruttenberg, Guang R. Gao, Woody Lichtenstein, Artour Stoutchinin |
| 1996 | Source-Level Debugging of Scalar Optimized Code. Ali-Reza Adl-Tabatabai, Thomas R. Gross |
| 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 | TIL: A Type-Directed Optimizing Compiler for ML. David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1996 | Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators. Mark W. Bailey, Jack W. Davidson |
| 1996 | Teapot: Language Support for Writing Memory Coherence Protocols. Satish Chandra, Brad Richards, James R. Larus |
| 1996 | VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System. Dawson R. Engler |