16. PVM/MPI 2009: Espoo, Finland

Invited Talks (Abstracts)

• Martin Burtscher:
  Real-Time Message Compression in Software. 1
  
• Richard L. Graham:
  The MPI 2.2 Standard and the Emerging MPI 3 Standard. 2
  
• William Gropp:
  MPI at Exascale: Challenges for Data Structures and Algorithms. 3
  
• Alexey L. Lastovetsky:
  Model-Based Optimization of MPI Collective Operations for Computational Clusters. 4-5
  
• Ewing L. Lusk:
  Using MPI to Implement Scalable Libraries. 6
  
• Stephen F. Siegel:
  Formal Verification for Scientific Computing: Trends and Progress. 7
  

Tutorial

• Ganesh Gopalakrishnan, Robert M. Kirby:
  Practical Formal Verification of MPI and Thread Programs. 8
  

Outstanding Papers

• Shinji Sumimoto, Kohta Nakashima, Akira Naruse, Kouichi Kumon, Takashi Yasui, Yoshikazu Kamoshida, Hiroya Matsuba, Atsushi Hori, Yutaka Ishikawa:
  The Design of Seamless MPI Computing Environment for Commodity-Based Clusters. 9-19
  
• Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff:
  MPI on a Million Processors. 20-30
  
• Marc-André Hermanns, Markus Geimer, Bernd Mohr, Felix Wolf:
  Scalable Detection of MPI-2 Remote Memory Access Inefficiency Patterns. 31-41
  
• Robert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur:
  Processing MPI Datatypes Outside MPI. 42-53
  

Applications

• Michael Hofmann, Gudula Rünger:
  Fine-Grained Data Distribution Operations for Particle Codes. 54-63
  
• Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
  Experiences Running a Parallel Answer Set Solver on Blue Gene. 64-72
  

Fault Tolerance

• Leonardo Fialho, Guna Santos, Angelo Duarte, Dolores Rexachs, Emilio Luque:
  Challenges and Issues of the Integration of RADIC into Open MPI. 73-83
  
• Gang Wang, Xiaoguang Liu, Ang Li, Fan Zhang:
  In-Memory Checkpointing for MPI Programs by XOR-Based Double-Erasure Codes. 84-93
  

Library Internals

• Marc Pérache, Patrick Carribault, Hervé Jourdren:
  MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption. 94-103
  
• Guillaume Mercier, Jérôme Clet-Ortega:
  Towards an Efficient Process Placement Policy for MPI Applications in Multicore Environments. 104-115
  
• Richard L. Graham, Rainer Keller:
  Dynamic Communicators in MPI. 116-123
  
• Troy LeBlanc, Rakhi Anand, Edgar Gabriel, Jaspal Subhlok:
  VolpexMPI: An MPI Library for Execution of Parallel Applications on Volatile Nodes. 124-133
  

MPI I/O

• David Buettner, Julian M. Kunkel, Thomas Ludwig:
  Using Non-blocking I/O Operations in High Performance Computing to Reduce Execution Times. 134-142
  
• Saba Sehrish, Jun Wang, Rajeev Thakur:
  Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity. 143-153
  
• Faisal Ghias Mir, Jesper Larsson Träff:
  Exploiting Efficient Transpacking for One-Sided Communication and MPI-IO. 154-163
  
• Javier García Blas, Florin Isaila, Jesús Carretero, Robert Latham, Robert B. Ross:
  Multiple-Level MPI File Write-Back and Prefetching for Blue Gene Systems. 164-173
  

OpenMP

• Damián A. Mallón, Guillermo L. Taboada, Carlos Teijeiro, Juan Touriño, Basilio B. Fraguela, Andrés Gómez, Ramon Doallo, José Carlos Mouriño:
  Performance Evaluation of MPI, UPC and OpenMP on Multicore Architectures. 174-184
  
• Ruymán Reyes, Antonio J. Dorta, Francisco Almeida, Francisco de Sande:
  Automatic Hybrid MPI+OpenMP Code Generation with llc. 185-195
  

Performance

• Simone Pellegrini, Jie Wang, Thomas Fahringer, Hans Moritsch:
  Optimizing MPI Runtime Parameter Settings by Using Machine Learning. 196-206
  
• Rosa Filgueira, David E. Singh, Alejandro Calderón, Jesús Carretero:
  CoMPI: Enhancing MPI Based Applications Performance and Scalability Using Run-Time Compression. 207-218
  
• Stephen F. Siegel, Andrew R. Siegel:
  A Memory-Efficient Data Redistribution Algorithm. 219-229
  
• Jaidev K. Sridhar, Dhabaleswar K. Panda:
  Impact of Node Level Caching in MPI Job Launch Mechanisms. 230-239
  

Programming Paradigms and Collective Operations

• Torsten Hoefler, Andrew Lumsdaine, Jack Dongarra:
  Towards Efficient MapReduce Using MPI. 240-249
  
• Ying Qian, Ahmad Afsahi:
  Process Arrival Pattern and Shared Memory Aware Alltoall on InfiniBand. 250-260
  

Verification of MPI Programs

• Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
  How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. 261-270
  
• Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
  Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. 271-281
  
• Chris Gottbrath:
  Bringing Reverse Debugging to HPC. 282-291
  

ParSim

• Carsten Trinitis, Michael Bader, Martin Schulz:
  8th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments. 292-293
  
• C. H. Moreno-Montiel, F. Rojas-González, Graciela Román-Alonso, S. Cordero-Sánchez, Miguel A. Castro-García, Manuel Aguilar Cornejo:
  A Parallel Simulator for Mercury (Hg) Porosimetry. 294-304
  
• Ralf-Peter Mundani, Alexander Düster, Jovana Knezevic, Andreas Niggl, Ernst Rank:
  Dynamic Load Balancing Strategies for Hierarchical p-FEM Solvers. 305-312
  
• Peng Zeng, Samuel Sarholz, Christian Iwainsky, Bernd Binninger, Norbert Peters, Marcus Herrmann:
  Simulation of Primary Breakup for Diesel Spray with Phase Transition. 313-320
  

Posters Abstracts

• Justin M. Wozniak, Bryan Jacobs, Robert Latham, Sam Lang, Seung Woo Son, Robert B. Ross:
  Implementing Reliable Data Structures for MPI Services in High Component Count Systems. 321-322
  
• Mónica Denham, Ana Cortés, Tomàs Margalef:
  Parallel Dynamic Data Driven Genetic Algorithm for Forest Fire Prediction. 323-324
  
• Hao Zhu, David Goodell, William Gropp, Rajeev Thakur:
  Hierarchical Collectives in MPICH2. 325-326
  
• Juan Carlos Díaz Martín, Juan A. Rico-Gallego, Jesús M. Álvarez Llorente, J. F. Perogil Duque:
  An MPI-1 Compliant Thread-Based Implementation. 327-328
  
• Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
  Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). 329-330