PLDI 1998: Montreal, Canada

Jack W. Davidson, Keith D. Cooper, A. Michael Berman (Eds.): Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998. ACM 1998, ISBN 0-89791-987-4

SIGPLAN Notices 33(5) (May 1998)

Session I

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

Session II

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

Session III

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

Session IV

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

Session V

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

Session VI

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

Session VII

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

Session VIII

David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano:
Thin Locks: Featherweight Synchronization for Java. 258-268
Ole Agesen, David Detlefs, J. Eliot B. Moss:
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines. 269-279
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
Ian Piumarta, Fabio Riccardi:
Optimizing Direct-threaded Code by Selective Inlining. 291-300

Session IX

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

Session X

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

Last update Tue May 21 00:03:05 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page