SIGPLAN 2004 Conference on
Announcement of PLDI Best Paper Award
Race Checking by Context Inference, Thomas Henzinger, Ranjit Jhala, and Rupak Majumdar ( University of California, Berkeley)
KISS: Keep It Simple and Sequential, Shaz Qadeer (Microsoft Research) and Dinghao Wu (Princeton University)
Verifying Safety Properties using Separation and Heterogeneous Abstractions, Eran Yahav (Tel Aviv University) and G. Ramalingam (IBM T. J. Watson Research Center)
Scalable Lock-Free Dynamic Memory Allocation, Maged Michael (IBM T. J. Watson Research Center)
Kill-Safe Synchronization Abstractions, Matthew Flatt (University of Utah) and Robert Bruce Findler (University of Chicago)
Min-Cut Program Decomposition for Thread-Level Speculation, Troy Johnson, Rudolf Eigenmann, and T. N. Vijaykumar (Purdue University)
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 (Intel Corporation)
Vectorization for Short SIMD Architectures with Alignment Constraints, Alexandre Eichenberger, Peng Wu, and Kevin O'Brien (IBM T. J. Watson Research Center)
Cost Effective Dynamic Program Slicing, Xiangyu Zhang and Rajiv Gupta (University of Arizona)
Dynamic Path-Based Software Watermarking, Christian Collberg, Edward Carter, Saumya Debray, Andrew Huntwork, Cullen Linn, and Michael Stepp (University of Arizona)
Parametric Analysis For Adaptive Computation Offloading, Cheng Wang and Zhiyuan Li (Purdue University)
Cloning-Based Context-Sensitive Pointer Alias Analyses Using Binary Decision Diagrams , John Whaley and Monica Lam (Stanford University)
Symbolic Pointer Analysis Revisited, Jianwen Zhu and Silvian Calman (University of Toronto)
Jedd: A BDD-based relational extension of Java, Ondrej Lhotak and Laurie Hendren (McGill University)
Social Processes and Proofs of Theorems and Programs, Revisited, Andrew Appel (Princeton University)
2004 ACM SIGPLAN Technical Achievement Award
2004 ACM SIGPLAN Distinguished Service Award
2004 ACM SIGPLAN Doctoral Dissertation Award
PLDI 1993 Most Influential Paper Award
Fast Searches for Effective Optimization Phase Sequences, Prasad Kulkarni, Stephen Hines (Florida State University), Jason Hiser (University of Virginia), David Whalley (Florida State University), Jack Davidson (University of Virginia), and Douglas Jones (University of Illinois)
Inducing Heuristics To Decide Whether To Schedule, John Cavazos and Eliot Moss (University of Massachusetts, Amherst)
The Liberty Structural Specification Language: A High-Level Modeling Language for Component Reuse, Manish Vachharajani, Neil Vachharajani, and David August (Princeton University)
The Set Constraint/CFL Reachability Connection in Practice, John Kodumal (University of California, Berkeley) and Alex Aiken (Stanford University)
Parametric Regular Path Queries, Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott Stoller, and Nanjun Hu (State University of New York at Stony Brook)
Precise and Efficient Static Array Bound Checking for Large Embedded C Programs, Arnaud Venet and Guillaume Brat (Kestrel Technology/NASA Ames Research Center)
Region Inference for an Object-Oriented Language, Wei-Ngan Chin, Florin Craciun, Shengchao Qin (National University of Singapore), and Martin Rinard (Massachusetts Institute of Technology)
Array Regrouping and Structure Splitting Using Whole-Program Reference Affinity, Yutao Zhong, Maksim Orlovich, Xipeng Shen, and Chen Ding (University of Rochester)
Prefetch Injection Based on Hardware Monitoring and Object Metadata, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Mauricio J. Serrano, and Sreenivas Subramoney (Intel Corporation)
A Generalized Algorithm for Graph Coloring Register Allocation, Michael D. Smith, Norman Ramsey, and Glenn Holloway (Harvard University)
Balancing Register Allocation Across Threads for a Multithreaded Network Processor, Xiaotong Zhuang and Santosh Pande (Georgia Institute of Technology)