13. PPOPP 2008:
Salt Lake City,
UT,
USA
Siddhartha Chatterjee, Michael L. Scott (Eds.):
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008.
ACM 2008, ISBN 978-1-59593-795-7 BibTeX
Keynote
Static analysis
- Muthu Manikandan Baskaran, Uday Bondhugula, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan:
Automatic data movement and computation mapping for multi-level parallel architectures with explicitly managed memories.
1-10
Electronic Edition (ACM DL) BibTeX
- Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík:
Type inference for locality analysis of distributed data structures.
11-22
Electronic Edition (ACM DL) BibTeX
- Armand Navabi, Xiangyu Zhang, Suresh Jagannathan:
Quasi-static scheduling for safe futures.
23-32
Electronic Edition (ACM DL) BibTeX
Parallel algorithms
Matrix product for special platforms
GPUs and SIMD
Programming model extensions
Runtime systems
- Ernie Chan, Field G. Van Zee, Paolo Bientinesi, Enrique S. Quintana-Ortí, Gregorio Quintana-Ortí, Robert A. van de Geijn:
SuperMatrix: a multithreaded runtime scheduling system for algorithms-by-blocks.
123-132
Electronic Edition (ACM DL) BibTeX
- Douglas Gregor, Andrew Lumsdaine:
Design and implementation of a high-performance MPI for C# and the common language infrastructure.
133-142
Electronic Edition (ACM DL) BibTeX
- Mike Houston, Ji Young Park, Manman Ren, Timothy J. Knight, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan:
A portable runtime interface for multi-level memory hierarchies.
143-152
Electronic Edition (ACM DL) BibTeX
- Kamil Iskra, John W. Romein, Kazutomo Yoshii, Peter H. Beckman:
ZOID: I/O-forwarding infrastructure for petascale architectures.
153-162
Electronic Edition (ACM DL) BibTeX
Formal aspects of transactions & speculation
Transactional memory I
Transactional memory II:
STM implementation
Panel
Poster session
- Mohammad Ansari, Christos Kotselidis, Kim Jarvis, Mikel Luján, Chris C. Kirkham, Ian Watson:
Experiences using adaptive concurrency in transactional memory with Lee's routing algorithm.
261-262
Electronic Edition (ACM DL) BibTeX
- Shirish Tatikonda, Srinivasan Parthasarathy:
An adaptive memory conscious approach for mining frequent trees: implications for multi-core architectures.
263-264
Electronic Edition (ACM DL) BibTeX
- Chen Ding, Trishul M. Chilimbi:
All-window profiling of concurrent executions.
265-266
Electronic Edition (ACM DL) BibTeX
- Beverly A. Sanders, KyungHee Kim:
Assertional reasoning about data races in relaxed memory models.
267-268
Electronic Edition (ACM DL) BibTeX
- Arun Kejariwal, Alexandru Nicolau, Utpal Banerjee, Alexander V. Veidenbaum, Constantine D. Polychronopoulos:
Cache-aware iteration space partitioning.
269-270
Electronic Edition (ACM DL) BibTeX
- Antonia Zhai, Shengyue Wang, Pen-Chung Yew, Guojin He:
Compiler optimizations for parallelizing general-purpose applications under thread-level speculation.
271-272
Electronic Edition (ACM DL) BibTeX
- Panfeng Wang, Xuejun Yang, Hongyi Fu, Yunfei Du, Zhiyun Wang, Jia Jia:
Automated application-level checkpointing based on live-variable analysis in MPI programs.
273-274
Electronic Edition (ACM DL) BibTeX
- Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee:
Compiler-enhanced incremental checkpointing for OpenMP applications.
275-276
Electronic Edition (ACM DL) BibTeX
- Christina M. Patrick, Seung Woo Son, Mahmut T. Kandemir:
Enhancing the performance of MPI-IO applications by overlapping I/O, computation and communication.
277-278
Electronic Edition (ACM DL) BibTeX
- Guangming Tan, Dongrui Fan, Junchao Zhang, Andrew Russo, Guang R. Gao:
Experience on optimizing irregular computation for memory hierarchy in manycore architecture.
279-280
Electronic Edition (ACM DL) BibTeX
- Sean Rul, Hans Vandierendonck, Koen De Bosschere:
Extracting coarse-grain parallelism in general-purpose programs.
281-282
Electronic Edition (ACM DL) BibTeX
- Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Formal specification of the MPI-2.0 standard in TLA+.
283-284
Electronic Edition (ACM DL) BibTeX
- Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby:
ISP: a tool for model checking MPI programs.
285-286
Electronic Edition (ACM DL) BibTeX
- Evgueni Brevnov, Yuri Dolgov, Boris Kuznetsov, Dmitry Yershov, Vyacheslav Shakin, Dong-yuan Chen, Vijay Menon, Suresh Srinivas:
Practical experiences with Java software transactional memory.
287-288
Electronic Edition (ACM DL) BibTeX
- Daniel Nurmi, Richard Wolski, John Brevik:
Probabilistic advanced reservations for batch-scheduled parallel machines.
289-290
Electronic Edition (ACM DL) BibTeX
- Kunal Agrawal, I.-Ting Angelina Lee, Jim Sukha:
Safer open-nested transactions through ownership.
291-292
Electronic Edition (ACM DL) BibTeX
- Pavan Balaji, Wu-chun Feng, Jeremy S. Archuleta, Heshan Lin, Rajkumar Kettimuthu, Rajeev Thakur, Xiaosong Ma:
Semantics-based distributed I/O for mpiBLAST.
293-294
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:34:58 2009
by Michael Ley (ley@uni-trier.de)
