Table of Contents

Reliability.- Compiler-Enhanced Incremental Checkpointing.- Techniques for Efficient Software Checking.- Languages.- Revisiting SIMD Programming.- Multidimensional Blocking in UPC.- An Experimental Evaluation of the New OpenMP Tasking Model.- Language Extensions in Support of Compiler Parallelization.- Parallel Compiler Technology I.- Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers.- Iteration Disambiguation for Parallelism Identification in Time-Sliced Applications.- A Novel Asynchronous Software Cache Implementation for the Cell-BE Processor.- Pillar: A Parallel Implementation Language.- Associative Parallel Containers in STAPL.- Explicit Dependence Metadata in an Active Visual Effects Library.- Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster.- Modeling Relations between Inputs and Dynamic Behavior for General Programs.- Evaluation of RDMA Opportunities in an Object-Oriented DSM.- Automatic Communication Performance Debugging in PGAS Languages.- Parallel Compiler Technology II.- Exploiting SIMD Parallelism with the CGiS Compiler Framework.- Critical Block Scheduling: A Thread-Level Parallelizing Mechanism for a Heterogeneous Chip Multiprocessor Architecture.- Languages II.- Capsules: Expressing Composable Computations in a Parallel Programming Model.- Communicating Multiprocessor-Tasks.- An Effective Automated Approach to Specialization of Code.- Flow-Sensitive Loop-Variant Variable Classification in Linear Time.- Using ZBDDs in Points-to Analysis.