10. PPOPP 2005: Chicago, IL, USA

• Pat Hanrahan:
  Why is graphics hardware so fast? 1
  

Compiling parallel languages

• Zehra Sura, Xing Fang, Chi-Leung Wong, Samuel P. Midkiff, Jaejin Lee, David A. Padua:
  Compiler techniques for high performance sequentially consistent java programs. 2-13
  
• Daniel G. Chavarría-Miranda, John M. Mellor-Crummey:
  Effective communication coalescing for data-parallel applications. 14-25
  
• Alain Darte, Robert Schreiber:
  A linear-time algorithm for optimal barrier placement. 26-35
  
• Cristian Coarfa, Yuri Dotsenko, John M. Mellor-Crummey, François Cantonnet, Tarek A. El-Ghazawi, Ashrujit Mohanti, Yiyi Yao, Daniel G. Chavarría-Miranda:
  An evaluation of global address space languages: co-array fortran and unified parallel C. 36-47
  

Synchronization models

• Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy:
  Composable memory transactions. 48-60
  
• Liqiang Wang, Scott D. Stoller:
  Static analysis of atomicity for programs with non-blocking synchronization. 61-71
  
• Tim Harris, Keir Fraser:
  Revocable locks for non-blocking programming. 72-82
  

Verification

• Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller:
  Automated type-based analysis of data races and atomicity. 83-94
  
• Stephen F. Siegel, George S. Avrunin:
  Modeling wildcard-free MPI programs for verification. 95-106
  
• Ohad Shacham, Mooly Sagiv, Assaf Schuster:
  Scaling model checking of dataraces using dynamic information. 107-118
  

Invited panel

• Katherine A. Yelick:
  Language innovations for HPCS. 119
  

Automatic parallelization

• Arun Kejariwal, Alexandru Nicolau, Utpal Banerjee, Constantine D. Polychronopoulos:
  A novel approach for partitioning iteration spaces with variable densities. 120-131
  
• Long Li, Bo Huang, Jinquan Dai, Luddy Harrison:
  Automatic multithreading and multiprocessing of C programs for IXP. 132-141
  
• Manohar K. Prabhu, Kunle Olukotun:
  Exposing speculative thread parallelism in SPEC2000. 142-152
  
• Tze Meng Low, Robert A. van de Geijn, Field G. Van Zee:
  Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications. 153-163
  

Energy-aware computing

• Vincent W. Freeh, David K. Lowenthal:
  Using multiple energy gears in MPI programs on a power-scalable cluster. 164-173
  
• Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir, Alok N. Choudhary:
  Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems. 174-185
  
• Taliver Heath, Bruno Diniz, Enrique V. Carrera, Wagner Meira Jr., Ricardo Bianchini:
  Energy conservation in heterogeneous server clusters. 186-195
  

Testing and fault tolerance

• Shuo Yang, Ali Raza Butt, Y. Charlie Hu, Samuel P. Midkiff:
  Trust but verify: monitoring remotely executing programs for progress and correctness. 196-205
  
• Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur:
  Applications of synchronization coverage. 206-212
  
• Zizhong Chen, Graham E. Fagg, Edgar Gabriel, Julien Langou, Thara Angskun, George Bosilca, Jack Dongarra:
  Fault tolerant high performance computing by a coding approach. 213-223
  

Architecture and systems

• William Thies, Michal Karczmarek, Janis Sermulins, Rodric M. Rabbah, Saman P. Amarasinghe:
  Teleport messaging for distributed stream programs. 224-235
  
• Changhee Jung, Daeseob Lim, Jaejin Lee, Sangyong Han:
  Adaptive execution techniques for SMT multiprocessor architectures. 236-246
  
• Jean-Francois Collard, Norman P. Jouppi, Sami Yehia:
  System-wide performance monitors and their application to the optimization of coherent memory accesses. 247-254
  

Libraries and applications

• Shengnan Cong, Jiawei Han, Jay Hoeflinger, David A. Padua:
  A sampling-based framework for parallel data mining. 255-265
  
• Xiaoyang Gao, Swarup Kumar Sahoo, Chi-Chung Lam, J. Ramanujam, Qingda Lu, Gerald Baumgartner, P. Sadayappan:
  Performance modeling and optimization of parallel out-of-core tensor contractions. 266-276
  
• Nathan Thomas, Gabriel Tanase, Olga Tkachyshyn, Jack Perdue, Nancy M. Amato, Lawrence Rauchwerger:
  A framework for adaptive algorithm selection in STAPL. 277-288
  
• Jin Chen, Baohua Wu, Margaret DeLap, Björn Knutsson, Honghui Lu, Cristiana Amza:
  Locality aware dynamic load management for massively multiplayer games. 289-300
  

Last update Fri May 25 08:33:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page