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