PLDI 1998: Montreal, Canada

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, 17-19 June 1998. SIGPLAN Notices 33(5) (May 1998)

Session I

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Complete Removal of Redundant Computations. 1-14 BibTeX
A. V. S. Sastry, Roy Dz-Ching Ju: A New Algorithm for Scalar Register Promotion based on SSA Form. 15-25 BibTeX
Fred C. Chow, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu: Register Promotion by Partial Redundancy Elimination of Loads and Stores. 26-37 BibTeX

Session II

Gabriel Rivera, Chau-Wen Tseng: Data Transformations for Eliminating Conflict Misses. 38-49 BibTeX
E. Christopher Lewis, Calvin Lin, Lawrence Snyder: The Implementation and Evaluation of Fusion and Contraction in Array Languages. 50-59 BibTeX
Yunheung Paek, Jay Hoeflinger, David A. Padua: Simplification of Array Access Patterns for Compiler Optimizations. 60-71 BibTeX

Session III

Glenn Ammons, James R. Larus: Improving Data-flow Analysis with Path Profiles. 72-84 BibTeX
Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken: Partial Online Cycle Elimination in Inclusion Constraint Graphs. 85-96 BibTeX
Rebecca Hasti, Susan Horwitz: Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis. 97-105 BibTeX
Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss: Type-Based Alias Analysis. 106-117 BibTeX

Session IV

S. Subramanya Sastry, Subbarao Palacharla, James E. Smith: Exploiting Idle Floating-Point Resources for Integer Execution. 118-129 BibTeX
Minghui Yang, Gang-Ryung Uh, David B. Whalley: Improving Performance by Branch Reordering. 130-141 BibTeX
Omri Traub, Glenn H. Holloway, Michael D. Smith: Quality and Speed in Linear-scan Register Allocation. 142-151 BibTeX

Session V

Fabrice Le Fessant, Ian Piumarta, Marc Shapiro: An Implementation for Complete, Asynchronous, Distributed Garbage Collection. 152-161 BibTeX
Perry Cheng, Robert Harper, Peter Lee: Generational Stack Collection and Profile-Driven Pretenuring. 162-173 BibTeX
William D. Clinger: Proper Tail Recursion and Space Efficiency. 174-185 BibTeX

Session VI

Vikram S. Adve, John M. Mellor-Crummey: Using Integer Sets for Data-Parallel Program Analysis and Optimization. 186-198 BibTeX
Yingchun Zhu, Laurie J. Hendren: Communication Optimizations for Parallel C Programs. 199-211 BibTeX
Matteo Frigo, Charles E. Leiserson, Keith H. Randall: The Implementation of the Cilk-5 Multithreaded Language. 212-223 BibTeX

Session VII

Philip Wickline, Peter Lee, Frank Pfenning: Run-time Code Generation and Modal-ML. 224-235 BibTeX
Matthew Flatt, Matthias Felleisen: Units: Cool Modules for HOT Languages. 236-248 BibTeX
Hongwei Xi, Frank Pfenning: Eliminating Array Bound Checking Through Dependent Types. 249-257 BibTeX

Session VIII

David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano: Thin Locks: Featherweight Synchronization for Java. 258-268 BibTeX
Ole Agesen, David Detlefs, J. Eliot B. Moss: Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines. 269-279 BibTeX
Ali-Reza Adl-Tabatabai, Michal Cierniak, Guei-Yuan Lueh, Vishesh M. Parikh, James M. Stichnoth: Fast, Effective Code Generation in a Just-In-Time Java Compiler. 280-290 BibTeX
Ian Piumarta, Fabio Riccardi: Optimizing Direct-threaded Code by Selective Inlining. 291-300 BibTeX

Session IX

Andrew Ayers, Stuart de Jong, John Peyton, Richard Schooler: Scalable Cross-Module Optimization. 301-312 BibTeX
David Gay, Alexander Aiken: Memory Management with Explicit Regions. 313-323 BibTeX
Peter F. Sweeney, Frank Tip: A Study of Dead Data Members in C++ Applications. 324-332 BibTeX

Session X

George C. Necula, Peter Lee: The Design and Implementation of a Certifying Compiler. 333-344 BibTeX
Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan: Automatically Closing Open Reactive Programs. 345-357 BibTeX