13. PPOPP 2008: Salt Lake City, UT, USA

Keynote

• Frances Allen:
  Compilers and parallel computing systems.
  

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
  
• Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík:
  Type inference for locality analysis of distributed data structures. 11-22
  
• Armand Navabi, Xiangyu Zhang, Suresh Jagannathan:
  Quasi-static scheduling for safe futures. 23-32
  

Parallel algorithms

• Haipeng Cheng, Zheng Chen, Bei Hua, Xinan Tang:
  Scalable packet classification using interpreting: a cross-platform multi-core solution. 33-42
  
• John Giacomoni, Tipp Moseley, Manish Vachharajani:
  FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue. 43-52
  

Matrix product for special platforms

• Jack Dongarra, Jean-Francois Pineau, Yves Robert, Frédéric Vivien:
  Matrix product on heterogeneous master-worker platforms. 53-62
  
• Jeffrey R. Diamond, Behnam Robatmili, Stephen W. Keckler, Robert A. van de Geijn, Kazushige Goto, Doug Burger:
  High performance dense linear algebra on a spatially distributed processor. 63-72
  

GPUs and SIMD

• Shane Ryoo, Christopher I. Rodrigues, Sara S. Baghsorkhi, Sam S. Stone, David B. Kirk, Wen-mei W. Hwu:
  Optimization principles and application performance evaluation of a multithreaded GPU using CUDA. 73-82
  
• Gabriel Falcão Paiva Fernandes, Leonel Sousa, Vítor Manuel Mendes da Silva:
  Massive parallel LDPC decoding on GPU. 83-90
  
• Robert D. Cameron:
  A case study in SIMD text processing with parallel bit streams: UTF-8 to UTF-16 transcoding. 91-98
  

Programming model extensions

• Rajesh Nishtala, George Almási, Calin Cascaval:
  Performance without pain = productivity: data layout and collective communication in UPC. 99-110
  
• Jia Guo, Ganesh Bikshandi, Basilio B. Fraguela, María Jesús Garzarán, David A. Padua:
  Programming with tiles. 111-122
  

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
  
• Douglas Gregor, Andrew Lumsdaine:
  Design and implementation of a high-performance MPI for C# and the common language infrastructure. 133-142
  
• 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
  
• Kamil Iskra, John W. Romein, Kazutomo Yoshii, Peter H. Beckman:
  ZOID: I/O-forwarding infrastructure for petascale architectures. 153-162
  

Formal aspects of transactions & speculation

• Kunal Agrawal, Jeremy T. Fineman, Jim Sukha:
  Nested parallelism in transactional memory. 163-174
  
• Rachid Guerraoui, Michal Kapalka:
  On the correctness of transactional memory. 175-184
  
• Christoph von Praun, Rajesh Bordawekar, Calin Cascaval:
  Modeling optimistic concurrency using quantitative dependence analysis. 185-196
  

Transactional memory I

• Yossi Lev, Jan-Willem Maessen:
  Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. 197-206
  
• Maurice Herlihy, Eric Koskinen:
  Transactional boosting: a methodology for highly-concurrent transactional objects. 207-216
  
• Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, Tatiana Shpeisman:
  Concurrent GC leveraging transactional memory. 217-226
  

Transactional memory II: STM implementation

• Virendra J. Marathe, Mark Moir:
  Toward high performance nonblocking software transactional memory. 227-236
  
• Pascal Felber, Christof Fetzer, Torvald Riegel:
  Dynamic performance tuning of word-based software transactional memory. 237-246
  
• Robert L. Bocchino Jr., Vikram S. Adve, Bradford L. Chamberlain:
  Software transactional memory for large scale clusters. 247-258
  

Panel

• John M. Mellor-Crummey:
  Where will all the threads come from? 259-260
  

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
  
• Shirish Tatikonda, Srinivasan Parthasarathy:
  An adaptive memory conscious approach for mining frequent trees: implications for multi-core architectures. 263-264
  
• Chen Ding, Trishul M. Chilimbi:
  All-window profiling of concurrent executions. 265-266
  
• Beverly A. Sanders, KyungHee Kim:
  Assertional reasoning about data races in relaxed memory models. 267-268
  
• Arun Kejariwal, Alexandru Nicolau, Utpal Banerjee, Alexander V. Veidenbaum, Constantine D. Polychronopoulos:
  Cache-aware iteration space partitioning. 269-270
  
• Antonia Zhai, Shengyue Wang, Pen-Chung Yew, Guojin He:
  Compiler optimizations for parallelizing general-purpose applications under thread-level speculation. 271-272
  
• 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
  
• Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee:
  Compiler-enhanced incremental checkpointing for OpenMP applications. 275-276
  
• 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
  
• Guangming Tan, Dongrui Fan, Junchao Zhang, Andrew Russo, Guang R. Gao:
  Experience on optimizing irregular computation for memory hierarchy in manycore architecture. 279-280
  
• Sean Rul, Hans Vandierendonck, Koen De Bosschere:
  Extracting coarse-grain parallelism in general-purpose programs. 281-282
  
• Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
  Formal specification of the MPI-2.0 standard in TLA+. 283-284
  
• Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby:
  ISP: a tool for model checking MPI programs. 285-286
  
• 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
  
• Daniel Nurmi, Richard Wolski, John Brevik:
  Probabilistic advanced reservations for batch-scheduled parallel machines. 289-290
  
• Kunal Agrawal, I.-Ting Angelina Lee, Jim Sukha:
  Safer open-nested transactions through ownership. 291-292
  
• 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