| 1990 | A Fresh Look at Optimizing Array Bound Checking. Rajiv Gupta |
| 1990 | Analysis of Pointers and Structures. David R. Chase, Mark N. Wegman, F. Kenneth Zadeck |
| 1990 | Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation. Zahira Ammarguellat, Williams Ludwell Harrison III |
| 1990 | Compact Representations for Control Dependence. Ron Cytron, Jeanne Ferrante, Vivek Sarkar |
| 1990 | Compilation of Haskell Array Comprehensions for Scientific Computing. Steven Anderson, Paul Hudak |
| 1990 | Compiling Programs for a Linear Systolic Array. Ping-Sheng Tseng |
| 1990 | Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System. Martin Jourdan, Didier Parigot, Catherine Julié, Olivier Durin, Carole Le Bellec |
| 1990 | Dynamic Program Slicing. Hiralal Agrawal, Joseph Robert Horgan |
| 1990 | Fast Breakpoints: Design and Implementation. Peter B. Kessler |
| 1990 | Fast Code Generation Using Automatically-Generated Decision Trees. Alan L. Wendt |
| 1990 | Generators and the Replicator Control Structures in the Parallel Environment of ALLOY. Thanasis Mitsolides, Malcolm Harrison |
| 1990 | Graph Coloring Register Allocation for Processors with Multi-Register Operands. Brian R. Nickerson |
| 1990 | Higher-Order Attribute Grammars and Editing Environments. Tim Teitelbaum, Richard Chapman |
| 1990 | How to Print Floating-Point Numbers Accurately. Guy L. Steele Jr., Jon L. White |
| 1990 | How to Read Floating-Point Numbers Accurately. William D. Clinger |
| 1990 | Identifying the Semantic and Textual Differences Between Two Versions of a Program. Susan Horwitz |
| 1990 | Improving Register Allocation for Subscripted Variables. David Callahan, Steve Carr, Ken Kennedy |
| 1990 | Instruction Reordering for Fork-Join Parallelism. Vivek Sarkar |
| 1990 | Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. Craig Chambers, David M. Ungar |
| 1990 | On the Structure of Verifiable Code Generator Specifications. Robert Giegerich |
| 1990 | Optimizing Programs over the Constructive Reals. Vernon A. Lee Jr., Hans-Juergen Boehm |
| 1990 | Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990 Bernard N. Fischer |
| 1990 | Profile Guided Code Positioning. Karl Pettis, Robert C. Hansen |
| 1990 | Register Allocation Across Procedure and Module Boundaries. Vatsa Santhanam, Daryl Odnert |
| 1990 | Representing Control in the Presence of First-Class Continuations. Robert Hieb, R. Kent Dybvig, Carl Bruggeman |
| 1990 | Task Granularity Analysis in Logic Programs. Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo |
| 1990 | The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages. Robert A. Ballance, Arthur B. Maccabe, Karl J. Ottenstein |
| 1990 | The University of Washington Illustrating Compiler. Robert R. Henry, Kenneth M. Whaley, Bruce Forstall |
| 1990 | Two-Directional Record Layout for Multiple Inheritance. William W. Pugh, Grant E. Weddell |
| 1990 | Type Declarations as Subtype Constraints in Logic Programming. Dean Jacobs |
| 1990 | Type-Dependent Parameter Inference. Gordon V. Cormack, Andrew K. Wright |