10. PPOPP 2005: Chicago, IL, USA

Keshav Pingali, Katherine A. Yelick, Andrew S. Grimshaw (Eds.): Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA. ACM 2005, ISBN 1-59593-080-9 BibTeX

Pat Hanrahan:
Why is graphics hardware so fast? 1
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
Daniel G. Chavarría-Miranda, John M. Mellor-Crummey:
Effective communication coalescing for data-parallel applications. 14-25
Electronic Edition (ACM DL) BibTeX
Alain Darte, Robert Schreiber:
A linear-time algorithm for optimal barrier placement. 26-35
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX

Synchronization models

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

Verification

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

Invited panel

Katherine A. Yelick:
Language innovations for HPCS. 119
Electronic Edition (ACM DL) BibTeX

Automatic parallelization

Arun Kejariwal, Alexandru Nicolau, Utpal Banerjee, Constantine D. Polychronopoulos:
A novel approach for partitioning iteration spaces with variable densities. 120-131
Electronic Edition (ACM DL) BibTeX
Long Li, Bo Huang, Jinquan Dai, Luddy Harrison:
Automatic multithreading and multiprocessing of C programs for IXP. 132-141
Electronic Edition (ACM DL) BibTeX
Manohar K. Prabhu, Kunle Olukotun:
Exposing speculative thread parallelism in SPEC2000. 142-152
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX

Energy-aware computing

Vincent W. Freeh, David K. Lowenthal:
Using multiple energy gears in MPI programs on a power-scalable cluster. 164-173
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
Taliver Heath, Bruno Diniz, Enrique V. Carrera, Wagner Meira Jr., Ricardo Bianchini:
Energy conservation in heterogeneous server clusters. 186-195
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur:
Applications of synchronization coverage. 206-212
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX

Architecture and systems

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

Libraries and applications

Shengnan Cong, Jiawei Han, Jay Hoeflinger, David A. Padua:
A sampling-based framework for parallel data mining. 255-265
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
Nathan Thomas, Gabriel Tanase, Olga Tkachyshyn, Jack Perdue, Nancy M. Amato, Lawrence Rauchwerger:
A framework for adaptive algorithm selection in STAPL. 277-288
Electronic Edition (ACM DL) BibTeX
Jin Chen, Baohua Wu, Margaret DeLap, Björn Knutsson, Honghui Lu, Cristiana Amza:
Locality aware dynamic load management for massively multiplayer games. 289-300
Electronic Edition (ACM DL) BibTeX