| 1986 | Dynamically Bypassing Copy Rule Chains in Attribute Grammars. | Roger Hoover |
| 1986 | High-Quality Code Generation Via Bottom-Up Tree Pattern Matching. | Philip J. Hatcher, Thomas W. Christopher |
| 1986 | Atomic Data Abstractions in a Distributed Collaborative Editing System. | Irene Greif, Robert Seliger, William E. Weihl |
| 1986 | Code Motion of Control Structures in High-Level Languages. | Ron Cytron, Andy Lowry, F. Kenneth Zadeck |
| 1986 | Retargetable High-Level Alias Analysis. | Deborah S. Coutant |
| 1986 | A Parallel Language and its Compilation to Multiprocessor Machines or VLSI. | Marina C. Chen |
| 1986 | Distributed Data Structures in Linda. | Nicholas Carriero, David Gelernter, Jerrold Leichter |
| 1986 | A Really Abstract Concurrent Model and its Temporal Logic. | Howard Barringer, Ruurd Kuiper, Amir Pnueli |
| 1986 | Operational Semantics of a Parallel Object-Oriented Language. | Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten |
| 1986 | Logic and Inheritance. | Hassan At-Kaci, Roger Nasr |
| 1985 | Constant Propagation with Conditional Branches. | Mark N. Wegman, F. Kenneth Zadeck |
| 1985 | Embedding Type Structure in Semantics. | Mitchell Wand |
| 1985 | Smart Recompilation. | Walter F. Tichy, Mark C. Baker |
| 1985 | Program Specification and Development in Standard ML. | Donald Sannella, Andrzej Tarlecki |
| 1985 | Incremental Compilation of Locally Optimized Code. | Lori L. Pollock, Mary Lou Soffa |
| 1985 | Closurize and Concentrate. | Julian A. Padget, John P. Fitch |
| 1985 | A Model and Temporal Proof System for Networks of Processes. | Van Nguyen, David Gries, Susan S. Owicki |
| 1985 | Abstract Types Have Existential Type. | John C. Mitchell, Gordon D. Plotkin |
| 1985 | Declaration-Free Type Checking. | Prateek Mishra, Uday S. Reddy |
| 1985 | Functional Programming and the Logical Variable. | Gary Lindstrom |
| 1985 | Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. | Orna Lichtenstein, Amir Pnueli |
| 1985 | Logical and Mathematical Reasoning about Imperative Programs. | Daniel Leivant |
| 1985 | Constraints: A Uniform Approach to Aliasing and Typing. | Leslie Lamport, Fred B. Schneider |
| 1985 | What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority. | Leslie Lamport |
| 1985 | Matchmaker: An Interface Specification Language for Distributed Processing. | Michael B. Jones, Richard F. Rashid, Mary R. Thompson |