PLDI 2002: Berlin, Germany

Type Systems

• Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken:
  Flow-Sensitive Type Qualifiers. 1-12
  Electronic Edition (ACM DL) BibTeX
• Manuel Fähndrich, Robert DeLine:
  Adoption and Focus: Practical Linear Types for Imperative Programming. 13-24
  Electronic Edition (ACM DL) BibTeX

Register Allocation and Value Numbering

• Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves:
  Fast Copy Coalescing and Live-Range Identification. 25-32
  Electronic Edition (ACM DL) BibTeX
• Akira Koseki, Hideaki Komatsu, Toshio Nakatani:
  Preference-Directed Graph Coloring. 33-44
  Electronic Edition (ACM DL) BibTeX
• Karthik Gargi:
  A Sparse Algorithm for Predicated Global Value Numbering. 45-56
  Electronic Edition (ACM DL) BibTeX

Program Correctness

• Manuvir Das, Sorin Lerner, Mark Seigle:
  ESP: Path-Sensitive Program Verification in Polynomial Time. 57-68
  Electronic Edition (ACM DL) BibTeX
• Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler:
  A System and Language for Building System-Specific, Static Analyses. 69-82
  Electronic Edition (ACM DL) BibTeX
• G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv:
  Deriving Specialized Program Analyses for Certifying Component-Client Conformance. 83-94
  Electronic Edition (ACM DL) BibTeX

Profiling and Specuclation

• Saumya K. Debray, William S. Evans:
  Profile-Guided Code Compression. 95-105
  Electronic Edition (ACM DL) BibTeX
• Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting:
  Profile-Directed Optimization of Event-Based Programs. 106-116
  Electronic Edition (ACM DL) BibTeX
• Shih-Wei Liao, Perry H. Wang, Hong Wang, John Paul Shen, Gerolf Hoflehner, Daniel M. Lavery:
  Post-Pass Binary Adaptation for Software-Based Speculative Precomputation. 117-128
  Electronic Edition (ACM DL) BibTeX

Garbage Collection

• Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko:
  A Parallel, Incremental and Concurrent GC for Servers. 129-140
  Electronic Edition (ACM DL) BibTeX
• Niels Hallenberg, Martin Elsman, Mads Tofte:
  Combining Region Inference and Garbage Collection. 141-152
  Electronic Edition (ACM DL) BibTeX
• Stephen Blackburn, Richard E. Jones, Kathryn S. McKinley, J. Eliot B. Moss:
  Beltway: Getting Around Garbage Collection Gridlock. 153-164
  Electronic Edition (ACM DL) BibTeX

Hardware-Conscious Optmizations

• Byoungro So, Mary W. Hall, Pedro C. Diniz:
  A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems. 165-176
  Electronic Edition (ACM DL) BibTeX
• Daniel Cociorva, Gerald Baumgartner, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, Marcel Nooijen, David E. Bernholdt, Robert J. Harrison:
  Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations. 177-186
  Electronic Edition (ACM DL) BibTeX
• Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani:
  Effective Sign Extension Elimination. 187-198
  Electronic Edition (ACM DL) BibTeX

Dynamic Prefetching & Cache Optimizations

• Trishul M. Chilimbi, Martin Hirzel:
  Dynamic Hot Data Stream Prefetching for General-Purpose Programs. 199-209
  Electronic Edition (ACM DL) BibTeX
• Youfeng Wu:
  Efficient Discovery of Regular Stride Patterns in Irregular Programs. 210-221
  Electronic Edition (ACM DL) BibTeX
• Martin Burtscher, Amer Diwan, Matthias Hauswirth:
  Static Load Classification for Improving the Value Predictability of Data-Cache Misses. 222-233
  Electronic Edition (ACM DL) BibTeX

Analysis of Object-Oriented Programs

• Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata:
  Extended Static Checking for Java. 234-245
  Electronic Edition (ACM DL) BibTeX
• K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou:
  Using Data Groups to Specify and Check Side Effects. 246-257
  Electronic Edition (ACM DL) BibTeX
• Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan:
  Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. 258-269
  Electronic Edition (ACM DL) BibTeX

Language Design & Implementation Issues

• Jason Baker, Wilson C. Hsieh:
  Maya: Multiple-Dispatch Syntax Extension in Java. 270-281
  Electronic Edition (ACM DL) BibTeX
• Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney:
  Region-Based Memory Management in Cyclone. 282-293
  Electronic Edition (ACM DL) BibTeX
• George S. Almasi, David A. Padua:
  MaJIC: Compiling MATLAB for Speed and Responsiveness. 294-303
  Electronic Edition (ACM DL) BibTeX

High Performance & Real-Time Issues

• Rajeev Joshi, Greg Nelson, Keith H. Randall:
  Denali: A Goal-directed Superoptimizer. 304-314
  Electronic Edition (ACM DL) BibTeX
• Thomas A. Henzinger, Christoph M. Kirsch:
  The Embedded Machine: Predictable, Portable Real-Time Code. 315-326
  Electronic Edition (ACM DL) BibTeX