PLDI 1990: White Plains, New York

Session 1

• Robert Giegerich:
  On the Structure of Verifiable Code Generator Specifications. 1-8
  
• Alan L. Wendt:
  Fast Code Generation Using Automatically-Generated Decision Trees. 9-15
  
• Karl Pettis, Robert C. Hansen:
  Profile Guided Code Positioning. 16-27
  

Session 2

• Vatsa Santhanam, Daryl Odnert:
  Register Allocation Across Procedure and Module Boundaries. 28-39
  
• Brian R. Nickerson:
  Graph Coloring Register Allocation for Processors with Multi-Register Operands. 40-52
  
• David Callahan, Steve Carr, Ken Kennedy:
  Improving Register Allocation for Subscripted Variables. 53-65
  

Session 3

• Robert Hieb, R. Kent Dybvig, Carl Bruggeman:
  Representing Control in the Presence of First-Class Continuations. 66-77
  
• Peter B. Kessler:
  Fast Breakpoints: Design and Implementation. 78-84
  
• William Pugh, Grant E. Weddell:
  Two-Directional Record Layout for Multiple Inheritance. 85-91
  

Session 4

• William D. Clinger:
  How to Read Floating-Point Numbers Accurately. 92-101
  
• Vernon A. Lee Jr., Hans-Juergen Boehm:
  Optimizing Programs over the Constructive Reals. 102-111
  
• Guy L. Steele Jr., Jon L. White:
  How to Print Floating-Point Numbers Accurately. 112-126
  

Session 5

• Gordon V. Cormack, Andrew K. Wright:
  Type-Dependent Parameter Inference. 127-136
  
• Steven Anderson, Paul Hudak:
  Compilation of Haskell Array Comprehensions for Scientific Computing. 137-149
  
• Craig Chambers, David Ungar:
  Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. 150-164
  

Session 6

• Dean Jacobs:
  Type Declarations as Subtype Constraints in Logic Programming. 165-173
  
• Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo:
  Task Granularity Analysis in Logic Programs. 174-188
  
• Thanasis Mitsolides, Malcolm Harrison:
  Generators and the Replicator Control Structures in the Parallel Environment of ALLOY. 189-196
  

Session 7

• Tim Teitelbaum, Richard Chapman:
  Higher-Order Attribute Grammars and Editing Environments. 197-208
  
• Martin Jourdan, Didier Parigot, Catherine Julié, Olivier Durin, Carole Le Bellec:
  Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System. 209-222
  
• Robert R. Henry, Kenneth M. Whaley, Bruce Forstall:
  The University of Washington Illustrating Compiler. 223-233
  

Session 8

• Susan Horwitz:
  Identifying the Semantic and Textual Differences Between Two Versions of a Program. 234-245
  
• Hiralal Agrawal, Joseph Robert Horgan:
  Dynamic Program Slicing. 246-256
  
• Robert A. Ballance, Arthur B. Maccabe, Karl J. Ottenstein:
  The Program Dependence Web: A Representation Supporting Control, Data, and Demand-Driven Interpretation of Imperative Languages. 257-271
  

Session 9

• Rajiv Gupta:
  A Fresh Look at Optimizing Array Bound Checking. 272-282
  
• Zahira Ammarguellat, Williams Ludwell Harrison III:
  Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation. 283-295
  
• David R. Chase, Mark N. Wegman, F. Kenneth Zadeck:
  Analysis of Pointers and Structures. 296-310
  

Session 10

• Ping-Sheng Tseng:
  Compiling Programs for a Linear Systolic Array. 311-321
  
• Vivek Sarkar:
  Instruction Reordering for Fork-Join Parallelism. 322-336
  
• Ron Cytron, Jeanne Ferrante, Vivek Sarkar:
  Compact Representations for Control Dependence. 337-351
  

Last update Fri May 25 08:32:28 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page