| 1994 | Composing Tree Attributions. | John Boyland, Susan L. Graham |
| 1994 | Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages. | Koenraad De Bosschere, Saumya K. Debray, David Gudeman, Sampath Kannan |
| 1994 | Proving Concurrent Constraint Programs Correct. | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
| 1994 | CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms. | Bard Bloom |
| 1994 | A Needed Narrowing Strategy. | Sergio Antoy, Rachid Echahed, Michael Hanus |
| 1994 | Soft Typing with Conditional Types. | Alexander Aiken, Edward L. Wimmers, T. K. Lakshman |
| 1994 | Dominators, Super Blocks, and Program Coverage. | Hiralal Agrawal |
| 1993 | Automatic Generation and Management of Interprocedural Program Analyses. | Kwangkeun Yi, Williams Ludwell Harrison III |
| 1993 | On the Orthogonality of Assignments and Procedures in Algol. | Stephen Weeks, Matthias Felleisen |
| 1993 | Specifying the Correctness of Binding-Time Analysis. | Mitchell Wand |
| 1993 | Static Single Assignment for Explicitely Parallel Programs. | Harini Srinivasan, James Hook, Michael Wolfe |
| 1993 | Computer Architectures and Programming Models for Scalable Parallel Computing. | Marc Snir |
| 1993 | Smartest Recompilation. | Zhong Shao, Andrew W. Appel |
| 1993 | An Introduction to Logical Relations and Parametric Polymorphism - Tutorial. | John C. Reynolds |
| 1993 | Algebraic Reasoning and Completeness in Typed Languages. | Jon G. Riecke, Ramesh Subrahmanyam |
| 1993 | A Categorized Bibliography on Incremental Computation. | G. Ramalingam, Thomas W. Reps |
| 1993 | Object-Oriented Programming without Recursive Types. | Benjamin C. Pierce, David N. Turner |
| 1993 | Semantics for Communication Primitives in an Polymorphic Language. | Atsushi Ohori, Kazuhiko Kato |
| 1993 | Relational Parametricity and Local Variables. | Peter W. O'Hearn, Robert D. Tennent |
| 1993 | Call by Name, Assignment, and the Lambda Calculus. | Martin Odersky, Dan Rabin, Paul Hudak |
| 1993 | Type Checking Type Classes. | Tobias Nipkow, Christian Prehofer |
| 1993 | A Novel Framework of Register Allocation for Software Pipelining. | Qi Ning, Guang R. Gao |
| 1993 | Array Data-Flow Analysis and its Use in Array Privatization. | Dror E. Maydan, Saman P. Amarasinghe, Monica S. Lam |
| 1993 | The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. | Kim Marriott, Peter J. Stuckey |
| 1993 | A Constructive Logic of Multiple Subtyping. | Harry G. Mairson |