PLDI 2003: San Diego, California, USA

@proceedings{DBLP:conf/pldi/2003,
  title     = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming
               Language Design and Implementation 2003, San Diego, California,
               USA, June 9-11, 2003},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-662-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Embedded systems

• David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler:
  The nesC language: A holistic approach to networked embedded systems. 1-11
  Electronic Edition (ACM DL) BibTeX
• Andrew A. Lamb, William Thies, Saman P. Amarasinghe:
  Linear analysis and optimization of stream programs. 12-25
  Electronic Edition (ACM DL) BibTeX
• Lal George, Matthias Blume:
  Taming the IXP network processor. 26-37
  Electronic Edition (ACM DL) BibTeX

Power-aware compilation

• Chung-Hsing Hsu, Ulrich Kremer:
  The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction. 38-48
  Electronic Edition (ACM DL) BibTeX
• Fen Xie, Margaret Martonosi, Sharad Malik:
  Compile-time dynamic voltage scaling settings: opportunities and limits. 49-62
  Electronic Edition (ACM DL) BibTeX

Code optimization I

• Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibulskis, Gerald DeJong, María Jesús Garzarán, David A. Padua, Keshav Pingali, Paul Stodghill, Peng Wu:
  A comparison of empirical and model-driven optimization. 63-76
  Electronic Edition (ACM DL) BibTeX
• Mark Stephenson, Saman P. Amarasinghe, Martin C. Martin, Una-May O'Reilly:
  Meta optimization: improving compiler heuristics with machine learning. 77-90
  Electronic Edition (ACM DL) BibTeX
• Michelle Mills Strout, Larry Carter, Jeanne Ferrante:
  Compile-time composition of run-time data and iteration reorderings. 91-102
  Electronic Edition (ACM DL) BibTeX

Program analysis

• Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee:
  Points-to analysis using BDDs. 103-114
  Electronic Edition (ACM DL) BibTeX
• Christoph von Praun, Thomas R. Gross:
  Static conflict analysis for multi-threaded object-oriented programs. 115-128
  Electronic Edition (ACM DL) BibTeX
• Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi:
  Checking and inferring local non-aliasing. 129-140
  Electronic Edition (ACM DL) BibTeX

Error detection and debugging I

• Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan:
  Bug isolation via remote program sampling. 141-154
  Electronic Edition (ACM DL) BibTeX
• Nurit Dor, Michael Rodeh, Shmuel Sagiv:
  CSSV: towards a realistic tool for statically detecting all buffer overflows in C. 155-167
  Electronic Edition (ACM DL) BibTeX
• David L. Heine, Monica S. Lam:
  A practical flow-sensitive and context-sensitive C and C++ memory leak detector. 168-181
  Electronic Edition (ACM DL) BibTeX

Error detection and debugging II

• Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus:
  Debugging temporal specifications with concept analysis. 182-195
  Electronic Edition (ACM DL) BibTeX
• Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
  A static analyzer for large safety-critical software. 196-207
  Electronic Edition (ACM DL) BibTeX

Validation

• Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang:
  A provably sound TAL for back-end optimization. 208-219
  Electronic Edition (ACM DL) BibTeX
• Sorin Lerner, Todd D. Millstein, Craig Chambers:
  Automatically proving the correctness of compiler optimizations. 220-231
  Electronic Edition (ACM DL) BibTeX
• Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer:
  CCured in the real world. 232-244
  Electronic Edition (ACM DL) BibTeX

Code optimization II

• Chen Ding, Yutao Zhong:
  Predicting whole-program locality through reuse distance analysis. 245-257
  Electronic Edition (ACM DL) BibTeX
• Pramod G. Joisha, Prithviraj Banerjee:
  Static array storage optimization in MATLAB. 258-268
  Electronic Edition (ACM DL) BibTeX
• Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani:
  Stride prefetching by dynamically inspecting objects. 269-277
  Electronic Edition (ACM DL) BibTeX
• M. Anton Ertl, David Gregg:
  Optimizing indirect branch prediction accuracy in virtual machine interpreters. 278-288
  Electronic Edition (ACM DL) BibTeX

Code optimization III

• Jin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai, Sun Chan:
  A compiler framework for speculative analysis and optimizations. 289-299
  Electronic Edition (ACM DL) BibTeX
• Michael L. Chu, Kevin Fan, Scott A. Mahlke:
  Region-based hierarchical operation partitioning for multicluster processors. 300-311
  Electronic Edition (ACM DL) BibTeX
• Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani:
  A region-based compilation technique for a Java just-in-time compiler. 312-323
  Electronic Edition (ACM DL) BibTeX

Type systems

• Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard:
  Ownership types for safe region-based memory management in real-time Java. 324-337
  Electronic Edition (ACM DL) BibTeX
• Cormac Flanagan, Shaz Qadeer:
  A type and effect system for atomicity. 338-349
  Electronic Edition (ACM DL) BibTeX