PLDI 2000: Vancouver, BC, Canada

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000. SIGPLAN Notices 35(5) (May 2000), ACM, 2000, ISBN 1-58113-199-2

Runtime Techniques

Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia:
Dynamo: a transparent dynamic optimization system. 1-12
Electronic Edition (ACM DL) BibTeX
Michal Cierniak, Guei-Yuan Lueh, James M. Stichnoth:
Practicing JUDO: Java under dynamic optimizations. 13-26
Electronic Edition (ACM DL) BibTeX
Steven Lucco:
Split-stream dictionary program compression. 27-34
Electronic Edition (ACM DL) BibTeX

Pointer Analysis

Manuvir Das:
Unification-based pointer analysis with directional assignments. 35-46
Electronic Edition (ACM DL) BibTeX
Atanas Rountev, Satish Chandra:
Off-line variable substitution for scaling points-to analysis. 47-56
Electronic Edition (ACM DL) BibTeX
Ben-Chung Cheng, Wen-mei W. Hwu:
Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation. 57-69
Electronic Edition (ACM DL) BibTeX

Program Correctness

Zhichen Xu, Barton P. Miller, Thomas W. Reps:
Safety checking of machine code. 70-82
Electronic Edition (ACM DL) BibTeX
George C. Necula:
Translation validation for an optimizing compiler. 83-94
Electronic Edition (ACM DL) BibTeX
Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline:
A certifying compiler for Java. 95-107
Electronic Edition (ACM DL) BibTeX

Compilation for Parallel Hardware

Mark Stephenson, Jonathan Babb, Saman P. Amarasinghe:
Bitwidth analysis with application to silicon compilation. 108-120
Electronic Edition (ACM DL) BibTeX
Kent D. Wilken, Jack Liu, Mark Heffernan:
Optimal instruction scheduling using integer programming. 121-133
Electronic Edition (ACM DL) BibTeX
Javier Zalamea, Josep Llosa, Eduard Ayguadé, Mateo Valero:
Improved spill code generation for software pipelined loops. 134-144
Electronic Edition (ACM DL) BibTeX
Samuel Larsen, Saman P. Amarasinghe:
Exploiting superword level parallelism with multimedia instruction sets. 145-156
Electronic Edition (ACM DL) BibTeX

High-Level Transforms

Yuan Lin, David A. Padua:
Compiler analysis of irregular memory accesses. 157-168
Electronic Edition (ACM DL) BibTeX
Qing Yi, Vikram S. Adve, Ken Kennedy:
Transforming loops to recursion for multi-level memory hierarchies. 169-181
Electronic Edition (ACM DL) BibTeX
Radu Rugina, Martin C. Rinard:
Symbolic bounds analysis of pointers, array indices, and accessed memory regions. 182-195
Electronic Edition (ACM DL) BibTeX

Analysis for Java Programs

Vugranam C. Sreedhar, Michael G. Burke, Jong-Deok Choi:
A framework for interprocedural optimization in the presence of dynamic class loading. 196-207
Electronic Edition (ACM DL) BibTeX
Erik Ruf:
Effective synchronization removal for Java. 208-218
Electronic Edition (ACM DL) BibTeX
Cormac Flanagan, Stephen N. Freund:
Type-based race detection for Java. 219-232
Electronic Edition (ACM DL) BibTeX

Foundations

G. Ramalingam:
On loops, dominators, and dominance frontier. 233-241
Electronic Edition (ACM DL) BibTeX
Zhanyong Wan, Paul Hudak:
Functional reactive programming from first principles. 242-252
Electronic Edition (ACM DL) BibTeX
Manuel Fähndrich, Jakob Rehof, Manuvir Das:
Scalable context-sensitive flow analysis using instantiation constraints. 253-263
Electronic Edition (ACM DL) BibTeX

Runtime Techniques

Dante J. Cannarozzi, Michael P. Plezbert, Ron Cytron:
Contaminated garbage collection. 264-273
Electronic Edition (ACM DL) BibTeX
Tamar Domani, Elliot K. Kolodner, Erez Petrank:
A generational on-the-fly garbage collector for Java. 274-284
Electronic Edition (ACM DL) BibTeX

Handling Real/Life Issues

Norman Ramsey, Simon L. Peyton Jones:
A single intermediate language that supports multiple implementations of exceptions. 285-298
Electronic Edition (ACM DL) BibTeX
Bob Boothe:
Efficient algorithms for bidirectional debugging. 299-310
Electronic Edition (ACM DL) BibTeX
Allan Heydon, Roy Levin, Yuan Yu:
Caching function calls using precise dependencies. 311-320
Electronic Edition (ACM DL) BibTeX

Optimization for Java

Rastislav Bodík, Rajiv Gupta, Vivek Sarkar:
ABCD: eliminating array bounds checks on demand. 321-333
Electronic Edition (ACM DL) BibTeX
Sanjay Ghemawat, Keith H. Randall, Daniel J. Scales:
Field analysis: getting useful and low-cost interprocedural information. 334-344
Electronic Edition (ACM DL) BibTeX
Julian Dolby, Andrew A. Chien:
An automatic object inlining optimization and its evaluation. 345-357
Electronic Edition (ACM DL) BibTeX