| 1990 | Fast Breakpoints: Design and Implementation. | Peter B. Kessler |
| 1990 | Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System. | Martin Jourdan, Didier Parigot, Catherine Juli, Olivier Durin, Carole Le Bellec |
| 1990 | Type Declarations as Subtype Constraints in Logic Programming. | Dean Jacobs |
| 1990 | Identifying the Semantic and Textual Differences Between Two Versions of a Program. | Susan Horwitz |
| 1990 | Representing Control in the Presence of First-Class Continuations. | Robert Hieb, R. Kent Dybvig, Carl Bruggeman |
| 1990 | The University of Washington Illustrating Compiler. | Robert R. Henry, Kenneth M. Whaley, Bruce Forstall |
| 1990 | A Fresh Look at Optimizing Array Bound Checking. | Rajiv Gupta |
| 1990 | On the Structure of Verifiable Code Generator Specifications. | Robert Giegerich |
| 1990 | Task Granularity Analysis in Logic Programs. | Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo |
| 1990 | Compact Representations for Control Dependence. | Ron Cytron, Jeanne Ferrante, Vivek Sarkar |
| 1990 | Type-Dependent Parameter Inference. | Gordon V. Cormack, Andrew K. Wright |
| 1990 | How to read floating point numbers accurately (with retrospective) | William D. Clinger |
| 1990 | How to Read Floating-Point Numbers Accurately. | William D. Clinger |
| 1990 | Analysis of pointers and structures (with retrospective) | David R. Chase, Mark N. Wegman, F. Kenneth Zadeck |
| 1990 | Analysis of Pointers and Structures. | David R. Chase, Mark N. Wegman, F. Kenneth Zadeck |
| 1990 | Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. | Craig Chambers, David M. Ungar |
| 1990 | Improving register allocation for subscripted variables (with retrospective) | David Callahan, Steve Carr, Ken Kennedy |
| 1990 | Improving Register Allocation for Subscripted Variables. | David Callahan, Steve Carr, Ken Kennedy |
| 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 | Compilation of Haskell Array Comprehensions for Scientific Computing. | Steven Anderson, Paul Hudak |
| 1990 | Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation. | Zahira Ammarguellat, Williams Ludwell Harrison III |
| 1990 | Dynamic Program Slicing. | Hiralal Agrawal, Joseph Robert Horgan |
| 1989 | Demonic Memories for Process Histories. | Paul R. Wilson, Thomas G. Moher |
| 1989 | Higher-Order Attribute Grammars. | Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper |
| 1989 | A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques. | G. A. Venkatesh |