| 2004 | A cost-driven compilation framework for speculative parallelization of sequential programs. Zhao-Hui Du, Chu-Cheow Lim, Xiao-Feng Li, Chen Yang, Qingyu Zhao, Tin-Fook Ngai |
| 2004 | A generalized algorithm for graph-coloring register allocation. Michael D. Smith, Norman Ramsey, Glenn H. Holloway |
| 2004 | Array regrouping and structure splitting using whole-program reference affinity. Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Ding |
| 2004 | Balancing register allocation across threads for a multithreaded network processor. Xiaotong Zhuang, Santosh Pande |
| 2004 | Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. John Whaley, Monica S. Lam |
| 2004 | Cost effective dynamic program slicing. Xiangyu Zhang, Rajiv Gupta |
| 2004 | Dynamic path-based software watermarking. Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp |
| 2004 | Fast searches for effective optimization phase sequences. Prasad A. Kulkarni, Stephen Hines, Jason Hiser, David B. Whalley, Jack W. Davidson, Douglas L. Jones |
| 2004 | Inducing heuristics to decide whether to schedule. John Cavazos, J. Eliot B. Moss |
| 2004 | Jedd: a BDD-based relational extension of Java. Ondrej Lhoták, Laurie J. Hendren |
| 2004 | KISS: keep it simple and sequential. Shaz Qadeer, Dinghao Wu |
| 2004 | Kill-safe synchronization abstractions. Matthew Flatt, Robert Bruce Findler |
| 2004 | Min-cut program decomposition for thread-level speculation. Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykumar |
| 2004 | Parametric analysis for adaptive computation offloading. Cheng Wang, Zhiyuan Li |
| 2004 | Parametric regular path queries. Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu |
| 2004 | Precise and efficient static array bound checking for large embedded C programs. Arnaud Venet, Guillaume P. Brat |
| 2004 | Prefetch inection based on hardware monitoring and object metadata. Ali-Reza Adl-Tabatabai, Richard L. Hudson, Mauricio J. Serrano, Sreenivas Subramoney |
| 2004 | Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004 William W. Pugh, Craig Chambers |
| 2004 | Race checking by context inference. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | Region inference for an object-oriented language. Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard |
| 2004 | Scalable lock-free dynamic memory allocation. Maged M. Michael |
| 2004 | Social processes and proofs of theorems and programs, revisited. Andrew W. Appel |
| 2004 | Symbolic pointer analysis revisited. Jianwen Zhu, Silvian Calman |
| 2004 | The liberty structural specification language: a high-level modeling language for component reuse. Manish Vachharajani, Neil Vachharajani, David I. August |
| 2004 | The set constraint/CFL reachability connection in practice. John Kodumal, Alex Aiken |
| 2004 | Vectorization for SIMD architectures with alignment constraints. Alexandre E. Eichenberger, Peng Wu, Kevin O'Brien |
| 2004 | Verifying safety properties using separation and heterogeneous abstractions. Eran Yahav, G. Ramalingam |