| 1982 | A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures. Neil D. Jones, Steven S. Muchnick |
| 1982 | A Logic for Expressions with Side-Effects. Hans-Juergen Boehm |
| 1982 | A Semantics-Directed Compiler Generator. Lawrence C. Paulson |
| 1982 | A Type Declaration and Inference System for Smalltalk. Alan Borning, Daniel H. H. Ingalls |
| 1982 | Algorithmic Program Diagnosis. Ehud Y. Shapiro |
| 1982 | An Axiomatic Treatment of Exception Handling. Shaula Yemini |
| 1982 | Automatic Generation of Machine Specific Code Optimizers. Robert Giegerich |
| 1982 | Axiomatic Definability and Completeness for Recursive Programs. Albert R. Meyer, John C. Mitchell |
| 1982 | Building Friendly Parsers. Fahimeh Jalili, Jean H. Gallier |
| 1982 | Code Generation and Reorganization in the Presence of Pipeline Constraints. John L. Hennessy, Thomas R. Gross |
| 1982 | Completion Semantics, Interpreter Generation. Martin C. Henson, Raymond Turner |
| 1982 | Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982 Richard A. DeMillo |
| 1982 | Description-Driven Code Generation using Attribute Grammars. Mahadevan Ganapathi, Charles N. Fischer |
| 1982 | Eliminating Redundant Object Code. Jack W. Davidson, Christopher W. Fraser |
| 1982 | Experience with an Attribute Grammar-Based Compiler. Rodney Farrow |
| 1982 | Extended Naming Conventions for Communicating Processes. Nissim Francez |
| 1982 | Guardians and Actions: Linguistic Support for Robust, Distributed Programs. Barbara Liskov, Robert Scheifler |
| 1982 | Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. Rivi Sherman, Amir Pnueli, David Harel |
| 1982 | Lithe: A Language Combining a Flexible Syntax, Classes. David W. Sandberg |
| 1982 | Maple: a Programming Language, Operating System. Paul J. Voda |
| 1982 | Messages as Active Agents. David W. Wall |
| 1982 | Modular Verification of Concurrent Programs. Brent Hailpern, Susan S. Owicki |
| 1982 | Non-Syntactic Attribute Flow in Language Based Editors. Gregory F. Johnson, Charles N. Fischer |
| 1982 | On Effective Axiomatizations of Hoare Logics. Edmund M. Clarke, Steven M. German, Joseph Y. Halpern |
| 1982 | On the Ability of Structures to Store and Access Information. Adrienne Critcher |
| 1982 | On the Composition of Processes. Vaughan R. Pratt |
| 1982 | On the Expressive Power of Query Languages for Relational Databases. Eric C. Cooper |
| 1982 | Optimal Code for Control Structures. M. V. S. Ramanath, Marvin H. Solomon |
| 1982 | Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors. Thomas W. Reps |
| 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 | Practical Error Recovery in LR Parsing. Seppo Sippu, Eljas Soisalon-Soininen |
| 1982 | Principal Type-Schemes for Functional Programs. Luís Damas, Robin Milner |
| 1982 | Programming Aspects of VLSI. Richard J. Lipton, Robert Sedgewick, Jacobo Valdes |
| 1982 | Semantics and Correctness of a Query Language Translation. E. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, Pamela Surko |
| 1982 | Semantics-Directed Machine Architecture. Mitchell Wand |
| 1982 | Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. Pierre Wolper |
| 1982 | Termination of Probabilistic Concurrent Programs. Sergiu Hart, Micha Sharir, Amir Pnueli |
| 1982 | Unbounded Speed Variability in Distributed Communication Systems. John H. Reif, Paul G. Spirakis |
| 1982 | Unified Dialogue Management in the Carousel System. Erik Sandewall |