| 1996 | A Modal Analysis of Staged Computation. | Rowan Davies, Frank Pfenning |
| 1996 | Type-Directed Partial Evaluation. | Olivier Danvy |
| 1996 | A General Approach for Run-Time Specialization and its Application to C. | Charles Consel, Franois Nol |
| 1996 | Trace-Based Program Analysis. | Christopher Colby, Peter Lee |
| 1996 | From Region Inference to von Neumann Machines via Region Representation Inference. | Lars Birkedal, Mads Tofte, Magnus Vejlstrup |
| 1996 | On the Complexity of Beta-Reduction. | Andrea Asperti |
| 1996 | A Practical and Flexible Flow Analysis for Higher-Order Languages. | J. Michael Ashley |
| 1996 | An Interpretation of Objects and Object Types. | Martn Abadi, Luca Cardelli, Ramesh Viswanathan |
| 1995 | Structural Decidable Extensions of Bounded Quantification. | Sergei G. Vorobyov |
| 1995 | A Linear Time Algorithm for Placing phi-nodes. | Vugranam C. Sreedhar, Guang R. Gao |
| 1995 | Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads. | Klaus E. Schauser, David E. Culler, Seth Copen Goldstein |
| 1995 | Default Timed Concurrent Constraint Programming. | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
| 1995 | Time and Space Profiling for Non-Strict Higher-Order Functional Languages. | Patrick M. Sansom, Simon L. Peyton Jones |
| 1995 | Total Correctness by Local Improvement in Program Transformation. | David Sands |
| 1995 | Isolating Side Effects in Sequential Languages. | Jon G. Riecke, Ramesh Viswanathan |
| 1995 | Using Functor Categories to Generate Intermediate Code. | John C. Reynolds |
| 1995 | Precise Interprocedural Dataflow Analysis via Graph Reachability. | Thomas W. Reps, Susan Horwitz, Shmuel Sagiv |
| 1995 | Optimizing an ANSI C Interpreter with Superoperators. | Todd A. Proebsting |
| 1995 | Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages. | John Plevyak, Xingbin Zhang, Andrew A. Chien |
| 1995 | A Type System Equivalent to Flow Analysis. | Jens Palsberg, Patrick O'Keefe |
| 1995 | The Geometry of Interaction Machine. | Ian Mackie |
| 1995 | Monad Transformers and Modular Interpreters. | Sheng Liang, Paul Hudak, Mark P. Jones |
| 1995 | Applicative Functors and Fully Transparent Higher-Order Modules. | Xavier Leroy |
| 1995 | Structuring Depth-First Search Algorithms in Haskell. | David J. King, John Launchbury |
| 1995 | A Unified Treatment of Flow Analysis in Higher-Order Languages. | Suresh Jagannathan, Stephen Weeks |