ACM ACM LogoACM LogoSIGPLAN 2004 Conference on

Programming Language Design and Implementation (PLDI)

Technical Program and Schedule

Wednesday, June 9

9:00-9:05 Welcome

[program chair: Craig Chambers]

Announcement of PLDI Best Paper Award

9:05-10:35 Safety Checking

[session chair: Stephanie Weirich]

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)

10:35-11:00 Break

11:00-12:00 Threads

[session chair: Dan Grossman]

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)

12:00-1:30 Lunch

1:30-3:00 Parallelization

[session chair: Ulrich Kremer]

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)

3:00-3:30 Break

3:30-5:00 Potpourri

[session chair: Trishul Chilimbi]

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)

5:00-5:15 Program Chair's Report

[program chair: Craig Chambers]

Thursday, June 10

9:00-10:30 Pointer Analysis and BDDs

[session chair: Jeff Foster]

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)

10:30-11:00 Break

11:00-12:00 Invited Talk

[session chair: Craig Chambers]

Social Processes and Proofs of Theorems and Programs, Revisited, Andrew Appel (Princeton University)

12:00-1:30 Lunch

[session chair: Michael Burke]

2004 ACM SIGPLAN Technical Achievement Award

2004 ACM SIGPLAN Distinguished Service Award

2004 ACM SIGPLAN Doctoral Dissertation Award

PLDI 1993 Most Influential Paper Award

1:30-3:00 Compiler and Simulator Construction

[session chair: Saman Amarasinghe]

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)

3:00-3:30 Break

3:30-5:00 Program Analysis

[session chair: Jakob Rehof]

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)

5:00-6:00 ACM SIGPLAN Open Meeting

[session chair: Michael Burke]

Friday, June 11

9:00-10:30 Memory Management

[session chair: Emery Berger]

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)

10:30-11:00 Break

11:00-12:00 Register Allocation

[session chair: Chandrasekhar Boyapati]

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)