LCPC 2007: Urbana, IL, USA

Reliability

• Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina:
  Compiler-Enhanced Incremental Checkpointing. 1-15
  
• Jing Yu, María Jesús Garzarán, Marc Snir:
  Techniques for Efficient Software Checking. 16-31
  

Languages

• Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft, Neil Hickey, David Stuttard:
  Revisiting SIMD Programming. 32-46
  
• Christopher Barton, Calin Cascaval, George Almási, Rahul Garg, José Nelson Amaral, Montse Farreras:
  Multidimensional Blocking in UPC. 47-62
  
• Eduard Ayguadé, Alejandro Duran, Jay Hoeflinger, Federico Massaioli, Xavier Teruel:
  An Experimental Evaluation of the New OpenMP Tasking Model. 63-77
  
• Jun Shirako, Hironori Kasahara, Vivek Sarkar:
  Language Extensions in Support of Compiler Parallelization. 78-94
  

Parallel Compiler Technology I

• Yuan Zhang, Evelyn Duesterwald, Guang R. Gao:
  Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers. 95-109
  
• Shane Ryoo, Christopher I. Rodrigues, Wen-mei W. Hwu:
  Iteration Disambiguation for Parallelism Identification in Time-Sliced Applications. 110-124
  
• Jairo Balart, Marc González, Xavier Martorell, Eduard Ayguadé, Zehra Sura, Tong Chen, Tao Zhang, Kevin O'Brien, Kathryn M. O'Brien:
  A Novel Asynchronous Software Cache Implementation for the Cell-BE Processor. 125-140
  
• Todd Anderson, Neal Glew, Peng Guo, Brian T. Lewis, Wei Liu, Zhanglin Liu, Leaf Petersen, Mohan Rajagopalan, James M. Stichnoth, Gansha Wu, Dan Zhang:
  Pillar: A Parallel Implementation Language. 141-155
  

Libraries

• Gabriel Tanase, Chidambareswaran Raman, Mauro Bianco, Nancy M. Amato, Lawrence Rauchwerger:
  Associative Parallel Containers in STAPL. 156-171
  
• Jay L. T. Cornwall, Paul H. J. Kelly, Phil Parsonage, Bruno Nicoletti:
  Explicit Dependence Metadata in an Active Visual Effects Library. 172-186
  

Run-Time Systems and Performance Analysis

• Ronald Veldema, Michael Philippsen:
  Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster. 187-201
  
• Xipeng Shen, Feng Mao:
  Modeling Relations between Inputs and Dynamic Behavior for General Programs. 202-216
  
• Ronald Veldema, Michael Philippsen:
  Evaluation of RDMA Opportunities in an Object-Oriented DSM. 217-231
  
• Jimmy Su, Katherine A. Yelick:
  Automatic Communication Performance Debugging in PGAS Languages. 232-245
  

Parallel Compiler Technology II

• Nicolas Fritz, Philipp Lucas, Reinhard Wilhelm:
  Exploiting SIMD Parallelism with the CGiSCompiler Framework. 246-260
  
• Slo-Li Chu:
  Critical Block Scheduling: A Thread-Level Parallelizing Mechanism for a Heterogeneous Chip Multiprocessor Architecture. 261-275
  

Languages II

• Hasnain A. Mandviwala, Umakishore Ramachandran, Kathleen Knobe:
  Capsules: Expressing Composable Computations in a Parallel Programming Model. 276-291
  
• Jörg Dümmler, Thomas Rauber, Gudula Rünger:
  Communicating Multiprocessor-Tasks. 292-307
  

General Compiler Techniques

• Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou:
  An Effective Automated Approach to Specialization of Code. 308-322
  
• Yixin Shou, Robert van Engelen, Johnnie Birch:
  Flow-Sensitive Loop-Variant Variable Classification in Linear Time. 323-337
  
• Ondrej Lhoták, Stephen Curial, José Nelson Amaral:
  Using ZBDDs in Points-to Analysis. 338-352