| 1982 | An Axiomatic Treatment of Exception Handling. | Shaula Yemini |
| 1982 | Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. | Pierre Wolper |
| 1982 | Semantics-Directed Machine Architecture. | Mitchell Wand |
| 1982 | Messages as Active Agents. | David W. Wall |
| 1982 | Maple: a Programming Language, Operating System. | Paul J. Voda |
| 1982 | Practical Error Recovery in LR Parsing. | Seppo Sippu, Eljas Soisalon-Soininen |
| 1982 | Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. | Rivi Sherman, Amir Pnueli, David Harel |
| 1982 | Algorithmic Program Diagnosis. | Ehud Y. Shapiro |
| 1982 | Unified Dialogue Management in the Carousel System. | Erik Sandewall |
| 1982 | Lithe: A Language Combining a Flexible Syntax, Classes. | David W. Sandberg |
| 1982 | Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors. | Thomas W. Reps |
| 1982 | Unbounded Speed Variability in Distributed Communication Systems. | John H. Reif, Paul G. Spirakis |
| 1982 | Optimal Code for Control Structures. | M. V. S. Ramanath, Marvin H. Solomon |
| 1982 | On the Composition of Processes. | Vaughan R. Pratt |
| 1982 | A Semantics-Directed Compiler Generator. | Lawrence C. Paulson |
| 1982 | Axiomatic Definability and Completeness for Recursive Programs. | Albert R. Meyer, John C. Mitchell |
| 1982 | Guardians and Actions: Linguistic Support for Robust, Distributed Programs. | Barbara Liskov, Robert Scheifler |
| 1982 | Programming Aspects of VLSI. | Richard J. Lipton, Robert Sedgewick, Jacobo Valdes |
| 1982 | Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog. | Henryk Jan Komorowski |
| 1982 | A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures. | Neil D. Jones, Steven S. Muchnick |
| 1982 | Non-Syntactic Attribute Flow in Language Based Editors. | Gregory F. Johnson, Charles N. Fischer |
| 1982 | Building Friendly Parsers. | Fahimeh Jalili, Jean H. Gallier |
| 1982 | Completion Semantics, Interpreter Generation. | Martin C. Henson, Raymond Turner |
| 1982 | Code Generation and Reorganization in the Presence of Pipeline Constraints. | John L. Hennessy, Thomas R. Gross |
| 1982 | Termination of Probabilistic Concurrent Programs. | Sergiu Hart, Micha Sharir, Amir Pnueli |