| 1992 | Observable Sequentiality and Full Abstraction. | Robert Cartwright, Matthias Felleisen |
| 1992 | PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. | Kim B. Bruce, John C. Mitchell |
| 1992 | A Semantics for ML Concurrency Primitives. | Dave Berry, Robin Milner, David N. Turner |
| 1992 | Recognizing Substrings of LR(k) Languages in Linear Time. | Joseph Bates, Alon Lavie |
| 1992 | Modeling Prolog Control. | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
| 1992 | Optimally Profiling and Tracing Programs. | Thomas Ball, James R. Larus |
| 1991 | Incremental Compilation via Partial Evaluation. | R. S. Sundaresh, Paul Hudak |
| 1991 | Modeling Continuations without Continuations. | Dorai Sitaram, Matthias Felleisen |
| 1991 | On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. | R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan |
| 1991 | Semantic Foundations of Concurrent Constraint Programming. | Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden |
| 1991 | Fully Abstract Translations between Functional Languages. | Jon G. Riecke |
| 1991 | A Dynamic Extent Control Operator for Partial Continuations. | Christian Queinnec, Bernard P. Serpette |
| 1991 | Modeling Concurrency with Geometry. | Vaughan R. Pratt |
| 1991 | Program Optimization and Parallelization Using Idioms. | Shlomit S. Pinter, Ron Y. Pinter |
| 1991 | Dependence Flow Graphs: An Algebraic Approach to Program Dependencies. | Keshav Pingali, Micah D. Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill |
| 1991 | How to Make Destructive Updates Less Destructive. | Martin Odersky |
| 1991 | An Extension of Standard ML Modules with Subtyping and Inheritance. | John C. Mitchell, Sigurd Meldal, Neel Madhav |
| 1991 | Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. | Luc Maranget |
| 1991 | Parallel Programming With Coordination Structures. | Steven Lucco, Oliver Sharp |
| 1991 | Polymorphic Type Inference and Assignment. | Xavier Leroy, Pierre Weis |
| 1991 | Pointer-Induced Aliasing: A Problem Classification. | William Landi, Barbara G. Ryder |
| 1991 | Communication with Directed Logic Variables. | Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro |
| 1991 | Algebraic Reconstruction of Types and Effects. | Pierre Jouvelot, David K. Gifford |
| 1991 | Coordinating First-Order Multiparty Interactions. | Yuh-Jzer Joung, Scott A. Smolka |
| 1991 | Temporal Proof Methodologies for Real-time Systems. | Thomas A. Henzinger, Zohar Manna, Amir Pnueli |