| 1987 | Lustre: A Declarative Language for Programming Synchronous Systems. | Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice |
| 1987 | Binding Performance at Language Design Time. | Jiazhen Cai, Robert Paige |
| 1987 | Scheduling Arithmetic and Load Operations in Parallel with No Spilling. | David Bernstein, Jeffrey M. Jaffe, Michael Rodeh |
| 1987 | Appraising Fairness in Languages for Distributed Programming. | Krzysztof R. Apt, Nissim Francez, Shmuel Katz |
| 1987 | Automatic Decomposition of Scientific Programs for Parallel Execution. | Randy Allen, David Callahan, Ken Kennedy |
| 1986 | Equational Logic Programming: An Extension to Equational Programming. | Jia-Huai You, P. A. Subrahmanyam |
| 1986 | Expressing Interesting Properties of Programs in Propositional Temporal Logic. | Pierre Wolper |
| 1986 | Finding the Source of Type Errors. | Mitchell Wand |
| 1986 | Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. | Gregor Snelting, Wolfgang Henhapl |
| 1986 | Remote Attribute Updating for Language-Based Editors. | Thomas W. Reps, Carla Marceau, Tim Teitelbaum |
| 1986 | Annotations for Distributed Programming in Logic. | Raghu Ramakrishnan, Abraham Silberschatz |
| 1986 | Representation Independence and Data Abstraction. | John C. Mitchell |
| 1986 | "Type" Is Not A Type. | Albert R. Meyer, Mark B. Reinhold |
| 1986 | Using Dependent Types to Express Modular Structure. | David B. MacQueen |
| 1986 | Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. | Barbara Liskov, Maurice Herlihy, Lucy Gilbert |
| 1986 | A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. | Christian Lengauer, Chua-Huang Huang |
| 1986 | Towards Programming with Knowledge Expressions. | Reino Kurki-Suonio |
| 1986 | Global Storage Allocation in Attribute Evaluation. | Takuya Katayama, Hisashi Sasaki |
| 1986 | Compilers and Staging Transformations. | Ulrik Jrring, William L. Scherlis |
| 1986 | Hierarchical VLSI Design Systems Based on Attribute Grammars. | Larry G. Jones, Janos Simon |
| 1986 | Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. | Neil D. Jones, Alan Mycroft |
| 1986 | A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference. | Gregory F. Johnson, Janet A. Walz |
| 1986 | Executable Specifications with Quantifiers in the FASE System. | Stan Jefferson, Samuel N. Kamin |
| 1986 | Higher-Order Strictness Analysis in Untyped Lambda Calculus. | Paul Hudak, Jonathan Young |
| 1986 | Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. | Paul Hudak, Lauren Smith |