| 1983 | Mechanisms for Compile-Time Enforcement of Security. | Robert E. Strom |
| 1983 | Incremental Data Flow Analysis. | Barbara G. Ryder |
| 1983 | Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. | Vaughan R. Pratt |
| 1983 | Transformational Programming - Applications to Algorithms and Systems. | Robert Paige |
| 1983 | Verifying Reachability Invariants of Linked Structures. | Greg Nelson |
| 1983 | Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software. | John Nagle, Scott Johnson |
| 1983 | Locality in Software Systems. | Naftaly H. Minsky |
| 1983 | Incremental Polymorphic Type Checking in B. | Lambert G. L. T. Meertens |
| 1983 | How to Cook a Temporal Proof System for Your Pet Language. | Zohar Manna, Amir Pnueli |
| 1983 | Computer Experiments with the Reve Term Rewriting System Generator. | Pierre Lescanne |
| 1983 | Structural Semantics for Polymorphic Data Types. | Daniel Leivant |
| 1983 | Polymorphic Type Inference. | Daniel Leivant |
| 1983 | Practical Use of a Polymorphic Applicative Language. | Butler W. Lampson, Eric E. Schmidt |
| 1983 | Reasoning About Nonatomic Operations. | Leslie Lamport |
| 1983 | Abstraction Mechanisms in the Beta Programming Language. | Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Mller-Pedersen, Kristen Nygaard |
| 1983 | Precise Typing of Abstract Data Type Specifications. | Richard B. Kieburtz |
| 1983 | Code Generation for Silicon. | Stephen C. Johnson |
| 1983 | A Program Form Based on Data Dependency in Predicate Regions. | Jeanne Ferrante, Karl J. Ottenstein |
| 1983 | "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. | E. Allen Emerson, Joseph Y. Halpern |
| 1983 | Making Variables Abstract: An Equational Theory for Russell. | Alan J. Demers, James E. Donahue |
| 1983 | Compilation of Data-Driven Programs for Synchronous Execution. | Janice E. Cuny, Lawrence Snyder |
| 1983 | Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. | Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla |
| 1983 | Uncovering Principles of Novice Programming. | Jeffrey Bonar, Elliot Soloway |
| 1983 | Derivation of Efficient DAG Marking Algorithms. | Ralph-Johan Back, Heikki Mannila, Kari-Jouko Rih |
| 1983 | Conversion of Control Dependence to Data Dependence. | John R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren |