![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
16th PPOPP 2011: San Antonio, TX, USA
- Calin Cascaval, Pen-Chung Yew:
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2011, San Antonio, TX, USA, February 12-16, 2011. ACM 2011, ISBN 978-1-4503-0119-0
Keynote
- James R. Larus:
Programming the cloud. 1-2
Programming for irregular parallelism
- Muhammad Amber Hassaan, Martin Burtscher, Keshav Pingali:
Ordered vs. unordered: a comparison of parallelism and work-efficiency in irregular algorithms. 3-12 - Michael Bauer, John Clark, Eric Schkufza, Alex Aiken:
Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. 13-24 - Alin Florindor Murarasu, Josef Weidendorfer, Gerrit Buse, Daniel Butnaru, Dirk Pflüger:
Compact data structure and scalable algorithms for the sparse grid technique. 25-34
Parallel programming models
- Hassan Chafi, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Anand R. Atreya, Kunle Olukotun:
A domain-specific approach to heterogeneous parallelism. 35-46 - Bryan Catanzaro, Michael Garland, Kurt Keutzer:
Copperhead: compiling an embedded data parallel language. 47-56 - James Christopher Jenista, Yong Hun Eom, Brian Demsky:
OoOJava: software out-of-order execution. 57-68 - Min Feng, Rajiv Gupta
, Yi Hu:
SpiceC: scalable parallelism via implicit copying and explicit commit. 69-80
Memory and communication optimization
- Stas Negara, Rajesh K. Karmani, Gul A. Agha:
Inferring ownership transfer for efficient message passing. 81-90 - Xiaoya Xiang, Bin Bao, Tongxin Bai, Chen Ding, Trishul M. Chilimbi:
All-window profiling and composable models of cache sharing. 91-102 - Xiaoning Ding
, Kaibo Wang, Xiaodong Zhang:
ULCC: a user-level facility for optimizing shared cache performance on multicores. 103-112 - Xing Wu, Frank Mueller:
ScalaExtrap: trace-based communication extrapolation for spmd programs. 113-122
Keynote
- Kathryn S. McKinley:
How's the parallel computing revolution going? 123-124
Correctness and debugging
- Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore:
Thread contracts for safe parallelism. 125-134 - Mai Zheng
, Vignesh T. Ravi, Feng Qin, Gagan Agrawal:
GRace: a low-overhead mechanism for detecting data races in GPU programs. 135-146 - Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan:
Cooperative reasoning for preemptive execution. 147-156
Transactional memory and speculative execution
- Mohsen Lesani, Jens Palsberg:
Communicating memory transactions. 157-168 - Victor Luchangco, Virendra J. Marathe:
Transaction communicators: enabling cooperation among concurrent transactions. 169-178 - Sergio Miguel Fernandes, João P. Cachopo
:
Lock-free and scalable multi-version software transactional memory. 179-188 - Chen Tian, Changhui Lin, Min Feng, Rajiv Gupta
:
Enhanced speculative parallelization via incremental recovery. 189-200
Parallel applications and scheduling
- Vijay A. Saraswat, Prabhanjan Kambadur, Sreedhar B. Kodali, David Grove
, Sriram Krishnamoorthy
:
Lifeline-based global load balancing. 201-212 - Zhaoguo Wang, Ran Liu, Yufei Chen, Xi Wu, Haibo Chen, Weihua Zhang, Binyu Zang:
COREMU: a scalable and portable parallel full-system emulator. 213-222
Parallel data structures and programming models
- Alex Kogan, Erez Petrank:
Wait-free queues with multiple enqueuers and dequeuers. 223-234 - Gabriel Tanase, Antal A. Buss, Adam Fidel, Harshvardhan, Ioannis Papadopoulos
, Olga Pearce, Timmie G. Smith, Nathan L. Thomas, Xiabing Xu, Nedal Mourad, Jeremy Vu, Mauro Bianco, Nancy M. Amato, Lawrence Rauchwerger:
The STAPL parallel container framework. 235-246 - Kornilios Kourtis, Vasileios Karakasis, Georgios I. Goumas, Nectarios Koziris:
CSX: an extended compression format for spmv on shared memory systems. 247-256
Programming on GPUs
- Yuri Dotsenko, Sara S. Baghsorkhi, Brandon Lloyd, Naga K. Govindaraju:
Auto-tuning of fast fourier transform on graphics processors. 257-266 - Sungpack Hong, Sang Kyun Kim, Tayo Oguntebi, Kunle Olukotun:
Accelerating CUDA graph algorithms at maximum warp. 267-276 - Jungwon Kim
, Honggyu Kim, Joo Hwan Lee, Jaejin Lee:
Achieving a single compute device image in OpenCL for multiple GPUs. 277-288
Posters
- Ramya Prabhakar, Shekhar Srikantaiah, Rajat Garg, Mahmut T. Kandemir:
QoS aware storage cache management in multi-server environments. 289-290 - Amitabha Roy, Steven Hand, Tim Harris:
Weak atomicity under the x86 memory consistency model. 291-292 - Donghwan Jeon, Saturnino Garcia, Christopher M. Louie, Sravanthi Kota Venkata, Michael Bedford Taylor:
Kremlin: like gprof, but for parallelization. 293-294 - Robert Strzodka, Mohammed Shaheen, Dawid Pajak:
Time skewing made simple. 295-296 - Andre Vincent Pascal Grosset
, Peihong Zhu, Shusen Liu, Suresh Venkatasubramanian
, Mary W. Hall
:
Evaluating graph coloring on GPUs. 297-298 - Chen Ding:
Two examples of parallel programming without concurrency constructs (PP-CC). 299-300 - Philippe Stellwag, Fabian Scheler, Jakob Krainz, Wolfgang Schröder-Preikschat:
A wait-free NCAS library for parallel applications with timing constraints. 301-302 - Teresa Davies, Zizhong Chen
, Christer Karlsson, Hui Liu:
Algorithm-based recovery for HPL. 303-304 - Jeremiah Willcock, Torsten Hoefler, Nicholas Gerard Edmonds, Andrew Lumsdaine
:
Active pebbles: a programming model for highly parallel fine-grained data-driven computations. 305-306 - Topher Fischer, Eric Mercer, Neha Rungta:
Symbolically modeling concurrent MCAPI executions. 307-308 - Stephen F. Siegel, Timothy K. Zirkel:
Automatic formal verification of MPI-based parallel programs. 309-310 - Alastair F. Donaldson, Daniel Kroening
, Philipp Rümmer:
SCRATCH: a tool for automatic analysis of dma races. 311-312 - Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson:
Automatic safety proofs for asynchronous memory operations. 313-314
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.