PLDI 2004: Washington, DC, USA

@proceedings{DBLP:conf/pldi/2004,
  editor    = {William Pugh and
               Craig Chambers},
  title     = {Proceedings of the ACM SIGPLAN 2004 Conference on Programming
               Language Design and Implementation 2004, Washington, DC, USA,
               June 9-11, 2004},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2004},
  isbn      = {1-58113-807-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Safety checking

• Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
  Race checking by context inference. 1-13
  Electronic Edition (ACM DL) BibTeX
• Shaz Qadeer, Dinghao Wu:
  KISS: keep it simple and sequential. 14-24
  Electronic Edition (ACM DL) BibTeX
• Eran Yahav, G. Ramalingam:
  Verifying safety properties using separation and heterogeneous abstractions. 25-34
  Electronic Edition (ACM DL) BibTeX

Threads

• Maged M. Michael:
  Scalable lock-free dynamic memory allocation. 35-46
  Electronic Edition (ACM DL) BibTeX
• Matthew Flatt, Robert Bruce Findler:
  Kill-safe synchronization abstractions. 47-58
  Electronic Edition (ACM DL) BibTeX

Parallelization

• Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykumar:
  Min-cut program decomposition for thread-level speculation. 59-70
  Electronic Edition (ACM DL) BibTeX
• Zhao-Hui Du, Chu-Cheow Lim, Xiao-Feng Li, Chen Yang, Qingyu Zhao, Tin-Fook Ngai:
  A cost-driven compilation framework for speculative parallelization of sequential programs. 71-81
  Electronic Edition (ACM DL) BibTeX
• Alexandre E. Eichenberger, Peng Wu, Kevin O'Brien:
  Vectorization for SIMD architectures with alignment constraints. 82-93
  Electronic Edition (ACM DL) BibTeX

Potpourri

• Xiangyu Zhang, Rajiv Gupta:
  Cost effective dynamic program slicing. 94-106
  Electronic Edition (ACM DL) BibTeX
• Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp:
  Dynamic path-based software watermarking. 107-118
  Electronic Edition (ACM DL) BibTeX
• Cheng Wang, Zhiyuan Li:
  Parametric analysis for adaptive computation offloading. 119-130
  Electronic Edition (ACM DL) BibTeX

Pointer analysis and BDDs

• John Whaley, Monica S. Lam:
  Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. 131-144
  Electronic Edition (ACM DL) BibTeX
• Jianwen Zhu, Silvian Calman:
  Symbolic pointer analysis revisited. 145-157
  Electronic Edition (ACM DL) BibTeX
• Ondrej Lhoták, Laurie J. Hendren:
  Jedd: a BDD-based relational extension of Java. 158-169
  Electronic Edition (ACM DL) BibTeX
• Andrew W. Appel:
  Social processes and proofs of theorems and programs, revisited. 170
  Electronic Edition (ACM DL) BibTeX

Compiler and simulator construction

• Prasad Kulkarni, Stephen Hines, Jason Hiser, David B. Whalley, Jack W. Davidson, Douglas L. Jones:
  Fast searches for effective optimization phase sequences. 171-182
  Electronic Edition (ACM DL) BibTeX
• John Cavazos, J. Eliot B. Moss:
  Inducing heuristics to decide whether to schedule. 183-194
  Electronic Edition (ACM DL) BibTeX
• Manish Vachharajani, Neil Vachharajani, David I. August:
  The liberty structural specification language: a high-level modeling language for component reuse. 195-206
  Electronic Edition (ACM DL) BibTeX

Program analysis

• John Kodumal, Alexander Aiken:
  The set constraint/CFL reachability connection in practice. 207-218
  Electronic Edition (ACM DL) BibTeX
• Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu:
  Parametric regular path queries. 219-230
  Electronic Edition (ACM DL) BibTeX
• Arnaud Venet, Guillaume P. Brat:
  Precise and efficient static array bound checking for large embedded C programs. 231-242
  Electronic Edition (ACM DL) BibTeX

Memory management

• Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard:
  Region inference for an object-oriented language. 243-254
  Electronic Edition (ACM DL) BibTeX
• Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Ding:
  Array regrouping and structure splitting using whole-program reference affinity. 255-266
  Electronic Edition (ACM DL) BibTeX
• Ali-Reza Adl-Tabatabai, Richard L. Hudson, Mauricio J. Serrano, Sreenivas Subramoney:
  Prefetch inection based on hardware monitoring and object metadata. 267-276
  Electronic Edition (ACM DL) BibTeX

Register allocation

• Michael D. Smith, Norman Ramsey, Glenn H. Holloway:
  A generalized algorithm for graph-coloring register allocation. 277-288
  Electronic Edition (ACM DL) BibTeX
• Xiaotong Zhuang, Santosh Pande:
  Balancing register allocation across threads for a multithreaded network processor. 289-300
  Electronic Edition (ACM DL) BibTeX