Verification of MPI programs using CIVL-Reference-Cited by-同舟云学术

Verification of MPI programs using CIVL

Published:2017 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 24th European MPI Users' Group Meeting on - EuroMPI '17
language:
Short-container-title:

Author:

Luo Ziqing¹,Zheng Manchun²,Siegel Stephen F.¹

Affiliation:

1. University of Delaware

2. Pure Storage Company

Publisher

ACM Press

Reference26 articles.

1. Sriram Aananthakrishnan, Greg Bronevetsky, and Ganesh Gopalakrishnan. 2013. Hybrid approach for data-flow analysis of MPI programs. InInternational Conference on Super-computing, ICS'13, Eugene, OR, USA - June 10--14, 2013, Allen D. Malony, Mario Nemirovsky, and Samuel P. Midkiff (Eds.). ACM, New York, 455--456.

2. Blaise Barney. 2017. Lawrence Livermore National Laboratory Message-Passing Interface (MPI) Exercise. https://computing.llnl.gov/tutorials/mpi/exercise.html. (2017). Accessed Aug. 5, 2017.

3. Greg Bronevetsky. 2009. Communication-Sensitive Static Dataflow for Parallel Message-Passing Applications. InProceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO '09).IEEE Computer Society, Washington, DC, USA, 1--12.

4. Edmund M Clarke, Orna Grumberg, and Doron Peled. 1999.Model checking.MIT press, Cambridge, MA, USA.

5. Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma. 2014. Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. InProceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442 (Lecture Notes in Computer Science), Cliff B. Jones, Pekka Pihlajasaari, and Jun Sun (Eds.), Vol. 8442. Springer, Cham, 263--278.

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

1. Collective Contracts for Message-Passing Parallel Programs;Lecture Notes in Computer Science;2024

2. A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model;Automatic Control and Computer Sciences;2022-12

3. Symbolic Verification of Message Signatures in MPI;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04

4. MPI-CorrBench;Proceedings of the 30th International Symposium on High-Performance Parallel and Distributed Computing;2021-06-21

5. Practical Abstractions for Automated Verification of Shared-Memory Concurrency;Lecture Notes in Computer Science;2020