PLDI 1988: Atlanta, Georgia

Session 1

• David R. Chase:
  Safety Considerations for Storage Allocation Optimizations. 1-10
  
• Andrew W. Appel, John R. Ellis, Kai Li:
  Real-Time Concurrent Collection on Stock Multiprocessors. 11-20
  
• James R. Larus, Paul N. Hilfinger:
  Detecting Conflicts Between Structure Accesses. 21-34
  

Session 2

• Susan Horwitz, Thomas W. Reps, David Binkley:
  Interprocedural Slicing Using Dependence Graphs. 35-46
  
• David Callahan:
  The Program Summary Graph and Flow-Sensitive InterproceduralData Flow Analysis. 47-56
  
• Keith D. Cooper, Ken Kennedy:
  Interprocedural Side-Effect Analysis in Linear Time. 57-66
  

Session 3

• David W. Wall:
  Register Windows versus Register Allocation. 67-78
  
• Christopher W. Fraser, Alan L. Wendt:
  Automatic Generation of Fast Optimizing Code Generators. 79-84
  
• Fred C. Chow:
  Minimizing Register Usage Penalty at Procedure Calls. 85-94
  

Session 4

• Kurt Keutzer, Wayne Wolf:
  Anatomy of a Hardware Compiler. 95-104
  
• Kristy Andrews, Robert R. Henry, Wayne K. Yamamoto:
  Design and Implementation of the UW Illustrated Compiler. 105-114
  
• Daniel M. Yellin, Robert E. Strom:
  INC: A Language for Incremental Computations. 115-124
  

Session 5

• Deborah S. Coutant, Sue Meloy, Michelle Ruscetta:
  DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code. 125-134
  
• Barton P. Miller, Jong-Deok Choi:
  A Mechanism for Efficient Debugging of Parallel Programs. 135-144
  
• Janice M. Stone:
  Debugging Concurrent Processes: A Case Study. 145-153
  

Session 6

• Suneel Jain, Carol L. Thompson:
  An Efficient Approach to Data Flow Analysis in a Multi Pass Global Optimizer. 154-163
  
• Olin Shivers:
  Control-Flow Analysis in Scheme. 164-174
  
• Birgit Schwarz, Walter Kirchgässner, Rudolf Landwehr:
  An Optimizer for Ada - Design, Experiences and Results. 175-184
  

Session 7

• Robert A. Ballance, Jacob Butcher, Susan L. Graham:
  Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor. 185-198
  
• Frank Pfenning, Conal Elliott:
  Higher-Order Abstract Syntax. 199-208
  
• Janet A. Walz, Gregory F. Johnson:
  Incremental Evaluation for a General Class of Circular Attribute Grammars. 209-221
  

Session 8

• Uwe F. Pleban, Peter Lee:
  An Automatically Generated, Realistic Compiler for an Imperative Programming Language. 222-232
  
• V. Seshadri, David B. Wortman, Michael D. Junkin, S. Weber, C. P. Yu, I. Small:
  Semantic Analysis in a Concurrent Compiler. 233-240
  
• Randy Allen, Steve Johnson:
  Compiling C for Vectorization, Parallelization, and Inline Expansion. 241-249
  

Session 9

• John H. Reppy:
  Synchronous Operations as First-Class Values. 250-259
  
• Barbara Liskov, Liuba Shrira:
  Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. 260-267
  
• Joseph Pallas, David Ungar:
  Multiprocessor Smalltalk: A Case Study of a Multiprocessor-Based Programming Environment. 268-277
  

Session 10

• John R. Rose:
  Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages. 278-287
  
• J. L. Weiner, S. Ramakrishnan:
  A Piggy-back Compiler For Prolog. 288-296
  
• Saumya K. Debray:
  Unfold/Fold Transformations and Loop Optimization of Logic Programs. 297-307
  

Session 11

• Alexander Aiken, Alexandru Nicolau:
  Optimal Loop Parallelization. 308-317
  
• Monica S. Lam:
  Software Pipelining: An Effective Scheduling Technique for VLIW Machines. 318-328
  
• Manuel E. Benitez, Jack W. Davidson:
  A Portable Global Optimizer and Linker. 329-338
  

Last update Thu May 24 04:40:16 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page