Formal analysis of MPI-based parallel programs-Reference-Cited by-同舟云学术

Formal analysis of MPI-based parallel programs

Published:2011-12 Issue:12 Volume:54 Page:82-91
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Gopalakrishnan Ganesh¹,Kirby Robert M.¹,Siegel Stephen²,Thakur Rajeev³,Gropp William⁴,Lusk Ewing³,De Supinski Bronis R.⁵,Schulz Martin⁵,Bronevetsky Greg⁵

Affiliation:

1. University of Utah, Salt Lake City, UT

2. University of Delaware, Newark, DE

3. Argonne National Laboratory, Argonne, IL

4. University of Illinois in Urbana-Champaign

5. Lawrence Livermore National Laboratory, Livermore, CA

Abstract

The goal is reliable parallel simulations, helping scientists understand nature, from how foams compress to how ribosomes construct proteins.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/2043174.2043194

Reference34 articles.

1. Scalable temporal order analysis for large scale debugging

2. stack trace analysis for large-scale debugging. In;Arnold D.C.;26--30). IEEE Computer Society,2007

Cited by 48 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24

2. Verification of message-passing uninterpreted programs;Science of Computer Programming;2024-05

3. Program partitioning and deadlock analysis for MPI based on logical clocks;Parallel Computing;2024-02

4. Symbolic Execution of MPI Programs with One-Sided Communications;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04

5. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21