PPoPP 2011

41 papers

1. A domain-specific approach to heterogeneous parallelism · Hassan Chafi, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Anand R. Atreya, Kunle Olukotun
2. A wait-free NCAS library for parallel applications with timing constraints · Philippe Stellwag, Fabian Scheler, Jakob Krainz, Wolfgang Schröder-Preikschat
3. Accelerating CUDA graph algorithms at maximum warp · Sungpack Hong, Sang Kyun Kim, Tayo Oguntebi, Kunle Olukotun
4. Achieving a single compute device image in OpenCL for multiple GPUs · Jungwon Kim, Honggyu Kim, Joo Hwan Lee, Jaejin Lee
5. Active pebbles: a programming model for highly parallel fine-grained data-driven computations · Jeremiah Willcock, Torsten Hoefler, Nicholas Gerard Edmonds, Andrew Lumsdaine
6. Algorithm-based recovery for HPL · Teresa Davies, Zizhong Chen, Christer Karlsson, Hui Liu
7. All-window profiling and composable models of cache sharing · Xiaoya Xiang, Bin Bao, Tongxin Bai, Chen Ding, Trishul M. Chilimbi
8. Auto-tuning of fast fourier transform on graphics processors · Yuri Dotsenko, Sara S. Baghsorkhi, Brandon Lloyd, Naga K. Govindaraju
9. Automatic formal verification of MPI-based parallel programs · Stephen F. Siegel, Timothy K. Zirkel
10. Automatic safety proofs for asynchronous memory operations · Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson
11. COREMU: a scalable and portable parallel full-system emulator · Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zhang + 1 more
12. CSX: an extended compression format for spmv on shared memory systems · Kornilios Kourtis, Vasileios Karakasis, Georgios I. Goumas, Nectarios Koziris
13. Communicating memory transactions · Mohsen Lesani, Jens Palsberg
14. Compact data structure and scalable algorithms for the sparse grid technique · Alin Florindor Murarasu, Josef Weidendorfer, Gerrit Buse, Daniel Butnaru, Dirk Pflüger
15. Cooperative reasoning for preemptive execution · Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
16. Copperhead: compiling an embedded data parallel language · Bryan Catanzaro, Michael Garland, Kurt Keutzer
17. Enhanced speculative parallelization via incremental recovery · Chen Tian, Changhui Lin, Min Feng, Rajiv Gupta
18. Evaluating graph coloring on GPUs · Andre Vincent Pascal Grosset, Peihong Zhu, Shusen Liu, Suresh Venkatasubramanian, Mary W. Hall
19. GRace: a low-overhead mechanism for detecting data races in GPU programs · Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawal
20. How's the parallel computing revolution going? · Kathryn S. McKinley
21. Inferring ownership transfer for efficient message passing · Stas Negara, Rajesh K. Karmani, Gul A. Agha
22. Kremlin: like gprof, but for parallelization · Donghwan Jeon, Saturnino Garcia, Christopher M. Louie, Sravanthi Kota Venkata, Michael Bedford Taylor
23. Lifeline-based global load balancing · Vijay A. Saraswat, Prabhanjan Kambadur, Sreedhar B. Kodali, David Grove, Sriram Krishnamoorthy
24. Lock-free and scalable multi-version software transactional memory · Sergio Miguel Fernandes, João P. Cachopo
25. OoOJava: software out-of-order execution · James Christopher Jenista, Yong Hun Eom, Brian Demsky
26. Ordered vs. unordered: a comparison of parallelism and work-efficiency in irregular algorithms · Muhammad Amber Hassaan, Martin Burtscher, Keshav Pingali
27. Programming the cloud · James R. Larus
28. Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia · Michael Bauer, John Clark, Eric Schkufza, Alex Aiken
29. QoS aware storage cache management in multi-server environments · Ramya Prabhakar, Shekhar Srikantaiah, Rajat Garg, Mahmut T. Kandemir
30. SCRATCH: a tool for automatic analysis of dma races · Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
31. ScalaExtrap: trace-based communication extrapolation for spmd programs · Xing Wu, Frank Mueller
32. SpiceC: scalable parallelism via implicit copying and explicit commit · Min Feng, Rajiv Gupta, Yi Hu
33. Symbolically modeling concurrent MCAPI executions · Topher Fischer, Eric Mercer, Neha Rungta
34. The STAPL parallel container framework · Gabriel Tanase, Antal A. Buss, Adam Fidel, Harshvardhan, Ioannis Papadopoulos, Olga Pearce + 8 more
35. Thread contracts for safe parallelism · Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore
36. Time skewing made simple · Robert Strzodka, Mohammed Shaheen, Dawid Pajak
37. Transaction communicators: enabling cooperation among concurrent transactions · Victor Luchangco, Virendra J. Marathe
38. Two examples of parallel programming without concurrency constructs (PP-CC) · Chen Ding
39. ULCC: a user-level facility for optimizing shared cache performance on multicores · Xiaoning Ding, Kaibo Wang, Xiaodong Zhang
40. Wait-free queues with multiple enqueuers and dequeuers · Alex Kogan, Erez Petrank
41. Weak atomicity under the x86 memory consistency model · Amitabha Roy, Steven Hand, Tim Harris