Table of Contents

• Real-Time Message Compression in SoftwareMartin Burtscher. 1 [doi]
• The MPI 2.2 Standard and the Emerging MPI 3 StandardRichard L. Graham. 2 [doi]
• Model-Based Optimization of MPI Collective Operations for Computational ClustersAlexey L. Lastovetsky. 4-5 [doi]
• Using MPI to Implement Scalable LibrariesEwing L. Lusk. 6 [doi]
• Formal Verification for Scientific Computing: Trends and ProgressStephen F. Siegel. 7 [doi]
• Practical Formal Verification of MPI and Thread ProgramsGanesh Gopalakrishnan, Robert M. Kirby. 8 [doi]
• The Design of Seamless MPI Computing Environment for Commodity-Based ClustersShinji Sumimoto, Kohta Nakashima, Akira Naruse, Kouichi Kumon, Takashi Yasui, Yoshikazu Kamoshida, Hiroya Matsuba, Atsushi Hori, Yutaka Ishikawa. 9-19 [doi]
• MPI on a Million ProcessorsPavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff. 20-30 [doi]
• Scalable Detection of MPI-2 Remote Memory Access Inefficiency PatternsMarc-André Hermanns, Markus Geimer, Bernd Mohr, Felix Wolf. 31-41 [doi]
• Processing MPI Datatypes Outside MPIRobert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur. 42-53 [doi]
• Fine-Grained Data Distribution Operations for Particle CodesMichael Hofmann, Gudula Rünger. 54-63 [doi]
• Experiences Running a Parallel Answer Set Solver on Blue GeneLars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub. 64-72 [doi]
• Challenges and Issues of the Integration of RADIC into Open MPILeonardo Fialho, Guna Santos, Angelo Duarte, Dolores Rexachs, Emilio Luque. 73-83 [doi]
• In-Memory Checkpointing for MPI Programs by XOR-Based Double-Erasure CodesGang Wang, Xiaoguang Liu, Ang Li, Fan Zhang. 84-93 [doi]
• MPC-MPI: An MPI Implementation Reducing the Overall Memory ConsumptionMarc Pérache, Patrick Carribault, Hervé Jourdren. 94-103 [doi]
• Towards an Efficient Process Placement Policy for MPI Applications in Multicore EnvironmentsGuillaume Mercier, Jérôme Clet-Ortega. 104-115 [doi]
• Dynamic Communicators in MPIRichard L. Graham, Rainer Keller. 116-123 [doi]
• VolpexMPI: An MPI Library for Execution of Parallel Applications on Volatile NodesTroy LeBlanc, Rakhi Anand, Edgar Gabriel, Jaspal Subhlok. 124-133 [doi]
• Using Non-blocking I/O Operations in High Performance Computing to Reduce Execution TimesDavid Buettner, Julian M. Kunkel, Thomas Ludwig 0002. 134-142 [doi]
• Conflict Detection Algorithm to Minimize Locking for MPI-IO AtomicitySaba Sehrish, Jun Wang, Rajeev Thakur. 143-153 [doi]
• Exploiting Efficient Transpacking for One-Sided Communication and MPI-IOFaisal Ghias Mir, Jesper Larsson Träff. 154-163 [doi]
• Multiple-Level MPI File Write-Back and Prefetching for Blue Gene SystemsJavier García Blas, Florin Isaila, Jesús Carretero, Robert Latham, Robert B. Ross. 164-173 [doi]
• Performance Evaluation of MPI, UPC and OpenMP on Multicore ArchitecturesDamiá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. 174-184 [doi]
• Automatic Hybrid MPI+OpenMP Code Generation with llcRuymán Reyes, Antonio J. Dorta, Francisco Almeida, Francisco de Sande. 185-195 [doi]
• Optimizing MPI Runtime Parameter Settings by Using Machine LearningSimone Pellegrini, Jie Wang, Thomas Fahringer, Hans Moritsch. 196-206 [doi]
• CoMPI: Enhancing MPI Based Applications Performance and Scalability Using Run-Time CompressionRosa Filgueira, David E. Singh, Alejandro Calderón, Jesús Carretero. 207-218 [doi]
• A Memory-Efficient Data Redistribution AlgorithmStephen F. Siegel, Andrew R. Siegel. 219-229 [doi]
• Impact of Node Level Caching in MPI Job Launch MechanismsJaidev K. Sridhar, Dhabaleswar K. Panda. 230-239 [doi]
• Towards Efficient MapReduce Using MPITorsten Hoefler, Andrew Lumsdaine, Jack Dongarra. 240-249 [doi]
• Process Arrival Pattern and Shared Memory Aware Alltoall on InfiniBandYing Qian, Ahmad Afsahi. 250-260 [doi]
• How Formal Dynamic Verification Tools Facilitate Novel Concurrency VisualizationsSriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. 261-270 [doi]
• Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinismAnh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. 271-281 [doi]
• Bringing Reverse Debugging to HPCChris Gottbrath. 282-291 [doi]
• 8th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering EnvironmentsCarsten Trinitis, Michael Bader, Martin Schulz. 292-293 [doi]
• A Parallel Simulator for Mercury (Hg) PorosimetryC. H. Moreno-Montiel, F. Rojas-González, Graciela Román-Alonso, S. Cordero-Sánchez, Miguel A. Castro-García, Manuel Aguilar Cornejo. 294-304 [doi]
• Dynamic Load Balancing Strategies for Hierarchical p-FEM SolversRalf-Peter Mundani, Alexander Düster, Jovana Knezevic, Andreas Niggl, Ernst Rank. 305-312 [doi]
• Simulation of Primary Breakup for Diesel Spray with Phase TransitionPeng Zeng, Samuel Sarholz, Christian Iwainsky, Bernd Binninger, Norbert Peters, Marcus Herrmann. 313-320 [doi]
• Implementing Reliable Data Structures for MPI Services in High Component Count SystemsJustin M. Wozniak, Bryan Jacobs, Robert Latham, Samuel Lang, Seung Woo Son, Robert B. Ross. 321-322 [doi]
• Parallel Dynamic Data Driven Genetic Algorithm for Forest Fire PredictionMónica Denham, Ana Cortés, Tomàs Margalef. 323-324 [doi]
• Hierarchical Collectives in MPICH2Hao Zhu, David Goodell, William Gropp, Rajeev Thakur. 325-326 [doi]
• An MPI-1 Compliant Thread-Based ImplementationJuan Carlos Díaz Martín, Juan A. Rico-Gallego, Jesús M. Álvarez Llorente, J. F. Perogil Duque. 327-328 [doi]
• Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract)Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. 329-330 [doi]