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
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
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
Verification
Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller: Automated type-based analysis of data races and atomicity. 83-94
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
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



