Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

Formal Analysis of MPI-Based Parallel Programs: Present and Future

Journal Article · · Communications of the ACM, vol. 54, no. 12, December 1, 2011, pp. 82-91
; ; ; ; ; ; ; ;

Abstract not provided

Research Organization:
Lawrence Livermore National Laboratory (LLNL), Livermore, CA
Sponsoring Organization:
USDOE
DOE Contract Number:
AC52-07NA27344
OSTI ID:
1184147
Report Number(s):
LLNL-JRNL-489171
Journal Information:
Communications of the ACM, vol. 54, no. 12, December 1, 2011, pp. 82-91, Journal Name: Communications of the ACM, vol. 54, no. 12, December 1, 2011, pp. 82-91
Country of Publication:
United States
Language:
English

References (14)

What every computer scientist should know about floating-point arithmetic journal March 1991
Model checking for programming languages using VeriSoft conference January 1997
ScaLAPACK Users' Guide book January 1997
Time, clocks, and the ordering of events in a distributed system journal July 1978
Reduced Execution Semantics of MPI: From Theory to Practice book January 2009
Scalable temporal order analysis for large scale debugging
  • Ahn, Dong H.; de Supinski, Bronis R.; Laguna, Ignacio
  • Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis - SC '09 https://doi.org/10.1145/1654059.1654104
conference January 2009
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs
  • Vo, Anh; Aananthakrishnan, Sriram; Gopalakrishnan, Ganesh
  • 2010 SC - International Conference for High Performance Computing, Networking, Storage and Analysis, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis https://doi.org/10.1109/SC.2010.7
conference November 2010
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications
  • Bronevetsky, Greg
  • 2009 7th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2009 International Symposium on Code Generation and Optimization https://doi.org/10.1109/CGO.2009.32
conference March 2009
Symbolic execution and program testing journal July 1976
Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update conference October 2011
journal
Combining symbolic execution with model checking to verify parallel numerical programs journal April 2008
Formal verification of practical MPI programs
  • Vo, Anh; Vakkalanka, Sarvani; DeLisi, Michael
  • Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '09 https://doi.org/10.1145/1504176.1504214
conference January 2008
Data-Flow Analysis for MPI Programs conference January 2006

Similar Records

Ghosts of Parallel Computing: Past Present and Future.
Conference · Tue Dec 31 23:00:00 EST 2019 · OSTI ID:1763610
Analysis of Scalable Data-Privatization Threading Algorithms for Hybrid MPI/OpenMP Parallelization of Molecular Dynamics
Journal Article · Tue Feb 07 23:00:00 EST 2012 · Journal of Supercomputing, vol. 66, no. 1, October 1, 2013, pp. 406-430 · OSTI ID:1114737
Toward an Evolutionary Task Parallel Integrated MPI + X Programming Model.
Conference · Mon Sep 01 00:00:00 EDT 2014 · OSTI ID:1319630

Related Subjects

97 MATHEMATICS AND COMPUTING