| 1981 | A Precise Interprocedural Data Flow Algorithm. Eugene W. Myers |
| 1981 | A Program Development Tool. Cyril N. Alberga, Allen L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman |
| 1981 | Axiomatic Definitions of Programming Languages, II. Joseph Y. Halpern, Albert R. Meyer |
| 1981 | Carrier Arrays: An Idiom-Preserving Extension to APL. P. Geoffrey Lowney |
| 1981 | Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981 John White, Richard J. Lipton, Patricia C. Goldberg |
| 1981 | Dependence Graphs and Compiler Optimizations. David J. Kuck, Robert H. Kuhn, David A. Padua, Bruce Leasure, Michael Wolfe |
| 1981 | Formal Program Testing. Robert Cartwright |
| 1981 | Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors. Alan J. Demers, Thomas W. Reps, Tim Teitelbaum |
| 1981 | Inferring Types in Smalltalk. Norihisa Suzuki |
| 1981 | Linear Cost is Sometimes Quadratic. Barry K. Rosen |
| 1981 | Making the World Safe for Garbage Collection. Susan S. Owicki |
| 1981 | Modeling of Problem Domains for Driving Program Development Systems. Jay Ramanathan, Charley J. Shubra |
| 1981 | On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem. Daniel Lehmann, Michael O. Rabin |
| 1981 | Paging as a "Language Processing" Task. Michael W. Condry |
| 1981 | Paths: An Abstract Alternative to Pointers. Robert Cartwright, Robert Hood, Philip Mathews |
| 1981 | Position Paper on Optimizing Compilers. William H. Harrison |
| 1981 | Position Paper on Optimizing Compilers. Stephen C. Johnson |
| 1981 | Program Improvement by Internal Specialization. William L. Scherlis |
| 1981 | Program Logic Without Binding is Decidable. Vaughan R. Pratt |
| 1981 | Program Optimization and Exception Handling. John L. Hennessy |
| 1981 | Program Verification Based on Denotational Semantics. Wolfgang Polak |
| 1981 | Programming Primitives for Database Languages. Ashok K. Chandra |
| 1981 | The Temporal Logic of Branching Time. Mordechai Ben-Ari, Zohar Manna, Amir Pnueli |
| 1981 | Verification of Attribute Grammars. Takuya Katayama, Yutaka Hoshino |