Keshav Pingali, Katherine A. Yelick, Andrew S. Grimshaw
Proceedings of the 10th Symposium on Principles and Practice of Parallel Programming
PPoPP, 2005.

@proceedings{PPoPP-2005,
	acmid         = "1065944",
	address       = "Chicago, Illinois, USA",
	editor        = "Keshav Pingali and Katherine A. Yelick and Andrew S. Grimshaw",
	isbn          = "1-59593-080-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th Symposium on Principles and Practice of Parallel Programming}",
	year          = 2005,
}

Contents (29 items)

7 ×#source code
6 ×#parallel
5 ×#performance
4 ×#multi
3 ×#algorithm
3 ×#clustering
3 ×#energy
2 ×#adaptation
2 ×#approach
2 ×#automation

PPoPP-2005-Hanrahan #hardware #performance #question #why

Why is graphics hardware so fast? (PH), p. 1.

PPoPP-2005-SuraFWMLP #compilation #consistency #java #performance #source code

Compiler techniques for high performance sequentially consistent java programs (ZS, XF, CLW, SPM, JL, DAP), pp. 2–13.

PPoPP-2005-Chavarria-MirandaM #communication #effectiveness

Effective communication coalescing for data-parallel applications (DGCM, JMMC), pp. 14–25.

PPoPP-2005-DarteS #algorithm #linear

A linear-time algorithm for optimal barrier placement (AD, RS), pp. 26–35.

PPoPP-2005-CoarfaDMCEMYC #c #evaluation #fortran #parallel

An evaluation of global address space languages: co-array fortran and unified parallel C (CC, YD, JMMC, FC, TAEG, AM, YY, DGCM), pp. 36–47.

PPoPP-2005-HarrisMPH #composition #memory management #transaction

Composable memory transactions (TH, SM, SLPJ, MH), pp. 48–60.

PPoPP-2005-WangS #source code #static analysis

Static analysis of atomicity for programs with non-blocking synchronization (LW, SDS), pp. 61–71.

PPoPP-2005-HarrisF #programming

Revocable locks for non-blocking programming (TLH, KF), pp. 72–82.

PPoPP-2005-SasturkarAWS #analysis #automation #type system

Automated type-based analysis of data races and atomicity (AS, RA, LW, SDS), pp. 83–94.

PPoPP-2005-SiegelA #modelling #source code #verification

Modeling wildcard-free MPI programs for verification (SFS, GSA), pp. 95–106.

PPoPP-2005-ShachamSS #information management #model checking #scalability #using

Scaling model checking of dataraces using dynamic information (OS, MS, AS), pp. 107–118.

PPoPP-2005-Yelick

Language innovations for HPCS (KAY), p. 119.

PPoPP-2005-KejariwalNBP #approach #clustering #novel

A novel approach for partitioning iteration spaces with variable densities (AK, AN, UB, CDP), pp. 120–131.

PPoPP-2005-LiHDH #automation #c #multi #source code #thread

Automatic multithreading and multiprocessing of C programs for IXP (LL, BH, JD, LH), pp. 132–141.

PPoPP-2005-PrabhuO #concurrent #parallel #specification #thread

Exposing speculative thread parallelism in SPEC2000 (MKP, KO), pp. 142–152.

PPoPP-2005-LowGZ #algebra #algorithm #linear #parallel #specification

Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications (TML, RAvdG, FGVZ), pp. 153–163.

PPoPP-2005-FreehL #clustering #energy #multi #source code #using

Using multiple energy gears in MPI programs on a power-scalable cluster (VWF, DKL), pp. 164–173.

PPoPP-2005-SonCKC #compilation #energy #layout #parallel

Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems (SWS, GC, MTK, ANC), pp. 174–185.

PPoPP-2005-HeathDCMB #clustering #energy

Energy conservation in heterogeneous server clusters (TH, BD, EVC, WMJ, RB), pp. 186–195.

PPoPP-2005-YangBHM #correctness #monitoring #source code #trust #verification

Trust but verify: monitoring remotely executing programs for progress and correctness (SY, ARB, YCH, SPM), pp. 196–205.

PPoPP-2005-BronFMNU

Applications of synchronization coverage (AB, EF, YM, YN, SU), pp. 206–212.

PPoPP-2005-ChenFGLABD #approach #fault tolerance #performance

Fault tolerant high performance computing by a coding approach (ZC, GEF, EG, JL, TA, GB, JD), pp. 213–223.

PPoPP-2005-ThiesKSRA #distributed #source code

Teleport messaging for distributed stream programs (WT, MK, JS, RMR, SPA), pp. 224–235.

PPoPP-2005-JungLLH #adaptation #architecture #execution #multi #smt

Adaptive execution techniques for SMT multiprocessor architectures (CJ, DL, JL, SH), pp. 236–246.

PPoPP-2005-CollardJY #memory management #monitoring #optimisation #performance

System-wide performance monitors and their application to the optimization of coherent memory accesses (JFC, NPJ, SY), pp. 247–254.

PPoPP-2005-CongHHP #data mining #framework #mining #parallel

A sampling-based framework for parallel data mining (SC, JH, JH, DAP), pp. 255–265.

PPoPP-2005-GaoSLRLBS #modelling #optimisation #parallel #performance

Performance modeling and optimization of parallel out-of-core tensor contractions (XG, SKS, CCL, JR, QL, GB, PS), pp. 266–276.

PPoPP-2005-ThomasTTPAR #adaptation #algorithm #framework

A framework for adaptive algorithm selection in STAPL (NT, GT, OT, JP, NMA, LR), pp. 277–288.

PPoPP-2005-ChenWDKLA #game studies #locality #multi

Locality aware dynamic load management for massively multiplayer games (JC, BW, MD, BK, HL, CA), pp. 289–300.