PPoPP 2005

29 papers

1. A framework for adaptive algorithm selection in STAPL · Nathan L. Thomas, Gabriel Tanase, Olga Tkachyshyn, Jack Perdue, Nancy M. Amato, Lawrence Rauchwerger
2. A linear-time algorithm for optimal barrier placement · Alain Darte, Robert Schreiber
3. A novel approach for partitioning iteration spaces with variable densities · Arun Kejariwal, Alexandru Nicolau, Utpal Banerjee, Constantine D. Polychronopoulos
4. A sampling-based framework for parallel data mining · Shengnan Cong, Jiawei Han, Jay P. Hoeflinger, David A. Padua
5. Adaptive execution techniques for SMT multiprocessor architectures · Changhee Jung, Daeseob Lim, Jaejin Lee, Sangyong Han
6. An evaluation of global address space languages: co-array fortran and unified parallel C · Cristian Coarfa, Yuri Dotsenko, John M. Mellor-Crummey, François Cantonnet, Tarek A. El-Ghazawi, Ashrujit Mohanti + 2 more
7. Applications of synchronization coverage · Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur
8. Automated type-based analysis of data races and atomicity · Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller
9. Automatic multithreading and multiprocessing of C programs for IXP · Long Li, Bo Huang, Jinquan Dai, Luddy Harrison
10. Compiler techniques for high performance sequentially consistent java programs · Zehra Sura, Xing Fang, Chi-Leung Wong, Samuel P. Midkiff, Jaejin Lee, David A. Padua
11. Composable memory transactions · Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy
12. Effective communication coalescing for data-parallel applications · Daniel G. Chavarría-Miranda, John M. Mellor-Crummey
13. Energy conservation in heterogeneous server clusters · Taliver Heath, Bruno Diniz, Enrique V. Carrera, Wagner Meira Jr., Ricardo Bianchini
14. Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems · Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir, Alok N. Choudhary
15. Exposing speculative thread parallelism in SPEC2000 · Manohar K. Prabhu, Kunle Olukotun
16. Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications · Tze Meng Low, Robert A. van de Geijn, Field G. Van Zee
17. Fault tolerant high performance computing by a coding approach · Zizhong Chen, Graham E. Fagg, Edgar Gabriel, Julien Langou, Thara Angskun, George Bosilca + 1 more
18. Language innovations for HPCS · Katherine A. Yelick
19. Locality aware dynamic load management for massively multiplayer games · Jin Chen, Baohua Wu, Margaret DeLap, Björn Knutsson, Honghui Lu, Cristiana Amza
20. Modeling wildcard-free MPI programs for verification · Stephen F. Siegel, George S. Avrunin
21. Performance modeling and optimization of parallel out-of-core tensor contractions · Xiaoyang Gao, Swarup Kumar Sahoo, Chi-Chung Lam, J. Ramanujam, Qingda Lu, Gerald Baumgartner + 1 more
22. Revocable locks for non-blocking programming · Tim Harris, Keir Fraser
23. Scaling model checking of dataraces using dynamic information · Ohad Shacham, Mooly Sagiv, Assaf Schuster
24. Static analysis of atomicity for programs with non-blocking synchronization · Liqiang Wang, Scott D. Stoller
25. System-wide performance monitors and their application to the optimization of coherent memory accesses · Jean-Francois Collard, Norman P. Jouppi, Sami Yehia
26. Teleport messaging for distributed stream programs · William Thies, Michal Karczmarek, Janis Sermulins, Rodric M. Rabbah, Saman P. Amarasinghe
27. Trust but verify: monitoring remotely executing programs for progress and correctness · Shuo Yang, Ali Raza Butt, Y. Charlie Hu, Samuel P. Midkiff
28. Using multiple energy gears in MPI programs on a power-scalable cluster · Vincent W. Freeh, David K. Lowenthal
29. Why is graphics hardware so fast? · Pat Hanrahan