14. PVM/MPI 2007: Paris, France

Invited Talks

• George Bosilca:
  The X-Scale Challenge. 1-2
  
• Al Geist:
  Sustained Petascale: The Next MPI Challenge. 3-4
  
• Tony Hey:
  MPI: Past, Present and Future. 5-6
  
• Ewing L. Lusk:
  New and Old Tools and Programming Models for High-Performance Computing. 7
  
• Satoshi Matsuoka:
  The TSUBAME Cluster Experience a Year Later, and onto Petascale TSUBAME 2.0. 8-9
  
• Bernd Mohr:
  To Infinity and Beyond?! On Scaling Performance Measurement and Analysis Tools for Parallel Programming. 10-11
  

Tutorials

• William D. Gropp, Ewing L. Lusk:
  Using MPI-2: A Problem-Based Approach. 12
  
• Stephen F. Siegel:
  Verifying Parallel Programs with MPI-Spin. 13-14
  
• Julien Langou, George Bosilca:
  Advanced MPI Programming. 15-16
  

Outstanding Papers

• Peter Sanders, Jochen Speck, Jesper Larsson Träff:
  Full Bandwidth Broadcast, Reduction and Scan with Only Two Trees. 17-26
  
• Bin Jia:
  Process Cooperation in Multiple Message Broadcast. 27-35
  
• Jesper Larsson Träff, William Gropp, Rajeev Thakur:
  Self-consistent MPI Performance Requirements. 36-45
  
• Rajeev Thakur, William Gropp:
  Test Suite for Evaluating Performance of MPI Implementations That Support MPI_THREAD_MULTIPLE. 46-55
  

Applications

• Luiz Gustavo Fernandes, Thiago Nunes, Mateus Raeder, Fabio Giannetti, Alexis Cabeda, Guilherme Bedin:
  An Improved Parallel XSL-FO Rendering for Personalized Documents. 56-63
  
• Joshua Hursey, Ethan Mallove, Jeffrey M. Squyres, Andrew Lumsdaine:
  An Extensible Framework for Distributed Testing of MPI Implementations. 64-72
  
• Wolfgang Schnerring, Christian Kauhaus, Dietmar Fey:
  A Virtual Test Environment for MPI Development: Quick Answers to Many Small Questions. 73-80
  
• José Antonio Álvarez, Javier Roca Piera, José-Jesús Fernández:
  Multithreaded Tomographic Reconstruction. 81-88
  
• Antonio J. Dorta, José M. Badía, Enrique S. Quintana-Ortí, Francisco de Sande:
  Parallelizing Dense Linear Algebra Operations with Task Queues in. 89-96
  
• Yuji Shinano, Tetsuya Fujie:
  ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer. 97-106
  
• Brian J. N. Wylie, Markus Geimer, Mike Nicolai, Markus Probst:
  Performance Analysis and Tuning of the XNS CFD Solver on Blue Gene/L. 107-116
  
• Mauricio Marín, Veronica Gil Costa:
  (Sync|Async)⁺ MPI Search Engines. 117-124
  

Collective Operations

• Torsten Hoefler, Prabhanjan Kambadur, Richard L. Graham, Galen M. Shipman, Andrew Lumsdaine:
  A Case for Standard Non-blocking Collective Operations. 125-134
  
• Alexey L. Lastovetsky, Maureen O'Flynn, Vladimir Rychkov:
  Optimization of Collective Communications in HeteroMPI. 135-143
  

Fault Tolerance

• Jacques Alves da Silva, Vinod E. F. Rebello:
  Low Cost Self-healing in MPI Applications. 144-152
  
• Alejandro Calderón, Félix García Carballeira, Florin Isaila, Rainer Keller, Alexander Schulz:
  Fault Tolerant File Models for MPI-IO Parallel File Systems. 153-160
  

Library Internals

• Richard L. Graham, Ron Brightwell, Brian Barrett, George Bosilca, Jelena Pjesivac-Grbovic:
  An Evaluation of Open MPI's Matching Transport Layer on the Cray XT. 161-169
  
• François Trahay, Alexandre Denis, Olivier Aumage, Raymond Namyst:
  Improving Reactivity and Communication Overlap in MPI Using a Generic I/O Manager. 170-177
  
• Galen M. Shipman, Ron Brightwell, Brian Barrett, Jeffrey M. Squyres, Gil Bloch:
  Investigations on InfiniBand: Efficient Network Buffer Utilization at Scale. 178-186
  

Message Passing on Hierarchical Machines and Grids

• Raúl López, Christian Pérez:
  Improving MPI Support for Applications on Hierarchically Distributed Resources. 187-194
  
• Josep L. Lérida, Francesc Solsona, Francesc Giné, Mauricio Hanzich, Jose Ramon García, Porfidio Hernández:
  MetaLoRaS: A Re-scheduling and Prediction MetaScheduler for Non-dedicated Multiclusters. 195-203
  
• Brad Penoff, Mike Tsai, Janardhan R. Iyengar, Alan Wagner:
  Using CMT in SCTP-Based MPI to Exploit Multiple Interfaces in Cluster Nodes. 204-212
  

MPI-I/O

• Thomas Ludwig, Stephan Krempel, Michael Kuhn, Julian M. Kunkel, Christian Lohse:
  Analysis of the MPI-IO Optimization Levels with the PIOViz Jumpshot Enhancement. 213-222
  
• Robert Latham, William Gropp, Robert B. Ross, Rajeev Thakur:
  Extending the MPI-2 Generalized Request Interface. 223-232
  
• Dries Kimpe, Robert B. Ross, Stefan Vandewalle, Stefaan Poedts:
  Transparent Log-Based Data Storage in MPI-IO Applications. 233-241
  

One-Sided

• Brian Barrett, Galen M. Shipman, Andrew Lumsdaine:
  Analysis of Implementation Options for MPI-2 One-Sided. 242-250
  
• Gopalakrishnan Santhanaraman, Sundeep Narravula, Amith R. Mamidala, Dhabaleswar K. Panda:
  MPI-2 One-Sided Usage and Implementation for Read Modify Write Operations: A Case Study with HPCC. 251-259
  
• Lawrence C. Stewart, David Gingold, Jud Leonard, Peter Watkins:
  RDMA in the SiCortex Cluster Systems. 260-271
  
• William D. Gropp, Rajeev Thakur:
  Revealing the Performance of MPI RMA Implementations. 272-280
  

PVM and Harness

• Emanuele Di Saverio, Marco Cesati, Christian Di Biagio, Guido Pennella, Christian Engelmann:
  Distributed Real-Time Computing with Harness. 281-288
  
• Levent Guner, Pinar Senkul:
  Frequent Itemset Minning with Trie Data Structure and Parallel Execution with PVM. 289-296
  

Tools

• Aurelien Bouteiller, George Bosilca, Jack Dongarra:
  Retrospect: Deterministic Replay of MPI Applications for Interactive Distributed Debugging. 297-306
  
• Éric Renault:
  Extended MPICC to Generate MPI Derived Datatypes from C Datatypes Automatically. 307-314
  
• Daniel Becker, Rolf Rabenseifner, Felix Wolf:
  Timestamp Synchronization for Event Traces of Large-Scale Message-Passing Applications. 315-325
  

Verification of Message Passing Programs

• Stephen F. Siegel, George S. Avrunin:
  Verification of Halting Properties for MPI Programs Using Nonblocking Operations. 326-334
  
• Róbert Lovas, Péter Kacsuk:
  Correctness Debugging of Message Passing Programs Using Model Verification Techniques. 335-343
  
• Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp:
  Practical Model-Checking Method for Verifying Correctness of MPI Programs. 344-353
  

ParSim

• Carsten Trinitis, Martin Schulz:
  6^th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments New Directions and Work-in-Progress ParSim 2007. 354-355
  
• Guillaume Latu, Nicolas Crouseilles, V. Grandgirard, Eric Sonnendrücker:
  Gyrokinetic Semi-lagrangian Parallel Simulation Using a Hybrid OpenMP/MPI Programming. 356-364
  
• Håkan Lundvall, Peter Fritzson:
  Automatic Parallelization of Object Oriented Models Executed with Inline Solvers. 365-372
  
• Eduardo Cabrera, Mario Chavez, Raúl Madariaga, Narciso Perea, Marco Frisenda:
  3D Parallel Elastodynamic Modeling of Large Subduction Earthquakes. 373-380
  

Posters Abstracts

• Benjamin Quétier, Thomas Hérault, Vincent Néri, Franck Cappello:
  Virtual Parallel Machines Through Virtualization: Impact on MPI Executions. 381-383
  
• Rolf Riesen:
  Seshat Collects MPI Traces: Extended Abstract. 384-386
  
• Takesi Soga, Kouji Kurihara, Takeshi Nanri, Motoyoshi Kurokawa, Kazuaki Murakami:
  Dynamic Optimization of Load Balance in MPI Broadcast. 387-388
  
• Yuichi Tsujita:
  An Empirical Study of Optimization in Seamless Remote MPI-I/O for Long Latency Network. 389-390
  
• Jochen M. Eppler, Hans E. Plesser, Abigail Morrison, Markus Diesmann, Marc-Oliver Gewaltig:
  Multithreaded and Distributed Simulation of Large Biological Neuronal Networks. 391-392
  
• Camille Coti, Ala Rezmerita, Thomas Hérault, Franck Cappello:
  Grid Services for MPI. 393-394