PLDI 1988: Atlanta, Georgia

Session 1

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

Session 2

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

Session 3

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

Session 4

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

Session 5

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

Session 6

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

Session 7

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

Session 8

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

Session 9

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

Session 10

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

Session 11

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