Verifying MPI Applications with SimGridMC-Reference-Cited by-同舟云学术

Verifying MPI Applications with SimGridMC

Published:2017-11-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the First International Workshop on Software Correctness for HPC Applications
language:
Short-container-title:

Author:

Pham Anh¹,Jéron Thierry¹,Quinson Martin¹

Affiliation:

1. IRISA laboratory, Rennes, France

Funder

Inria

Publisher

ACM

Link

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

Reference27 articles.

1. Optimal dynamic partial order reduction

2. On Communication Determinism in Parallel HPC Applications

3. Henri Casanova. The SMPI CourseWare. https://simgrid.github.io/SMPI_CourseWare/. Henri Casanova. The SMPI CourseWare. https://simgrid.github.io/SMPI_CourseWare/.

4. Simulating MPI Applications: The SMPI Approach

5. Dynamic partial-order reduction for model checking software

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

1. WCSim: A Cloud Computing Simulator with Support for Bag of Tasks Workflows;2023 IEEE 35th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD);2023-10-17

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

3. ELS: Emulation system for debugging and tuning large-scale parallel programs on small clusters;The Journal of Supercomputing;2020-05-23

4. Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs;Formal Techniques for Distributed Objects, Components, and Systems;2019

5. Multi-valued Expression Analysis for Collective Checking;Lecture Notes in Computer Science;2019