| 1977 | Parallelism and Synchronization in Actor Systems. | Russell R. Atkinson, Carl Hewitt |
| 1977 | Structuring. | Eric C. R. Hehner |
| 1977 | A New Strategy for Code Generation - The General Purpose Optimizing Compiler. | William H. Harrison |
| 1977 | Generalized Common Subexpressions in Very High Level Languages. | Amelia C. Fong |
| 1977 | An Efficient Insertion-Only Error-Corrector for LL(1) Parsers. | Charles N. Fischer, D. R. Milton, S. B. Quiring |
| 1977 | Parallel Program Correctness Through Refinement. | Thomas W. Doeppner Jr. |
| 1977 | The Evolution of Programs: A System for Automatic Program Modification. | Nachum Dershowitz, Zohar Manna |
| 1977 | Social Processes and Proofs of Theorems and Programs. | Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis |
| 1977 | Generalized Left Corner Parsing. | Alan J. Demers |
| 1977 | Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. | Patrick Cousot, Radhia Cousot |
| 1977 | Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. | Edmund M. Clarke |
| 1977 | A Complete and Consistent Hoare Semantics for a Simple Programming Language. | John C. Cherniavsky, Samuel N. Kamin |
| 1977 | Minimal and Optimal Computations of Recursive Programs. | Grard Berry, Jean-Jacques Lvy |
| 1977 | An Interprocedural Data Flow Analysis Algorithm. | Jeffrey M. Barth |
| 1977 | Code Generation for Machines with Multiregister Operations. | Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman |
| 1976 | Goal-Directed Program Transformation. | Ben Wegbreit |
| 1976 | A Methodology for Lisp Program Construction from Examples. | Phillip D. Summers |
| 1976 | Automatic Design of Data Processing Systems. | Gregory R. Ruth |
| 1976 | Techniques for the Automatic Selection of Data Structures. | James R. Low, Paul Rovner |
| 1976 | Program Improvement by Source to Source Transformation. | David B. Loveman |
| 1976 | The Influence of Productions on Derivations and Parsing. | Benton L. Leong, Detlef Wotschke |
| 1976 | On Directly Constructing LR(k) Parsers Without Chain Reductions. | Wilf R. LaLonde |
| 1976 | Mathematical Semantics and Data Flow Programming. | Paul R. Kosinski |
| 1976 | Automatic Generation of Efficient Evaluators for Attribute Grammars. | Ken Kennedy, Scott K. Warren |
| 1976 | Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language. | Neil D. Jones, Steven S. Muchnick |