Test data generation for path coverage of MPI programs using SAEO
D Gong, B Sun, X Yao, T Tian - ACM Transactions on Software …, 2021 - dl.acm.org
Message-passing interface (MPI) programs, a typical kind of parallel programs, have been
commonly used in various applications. However, it generally takes exhaustive computation …
commonly used in various applications. However, it generally takes exhaustive computation …
Symbolic verification of message passing interface programs
Message passing is the standard paradigm of programming in high-performance computing.
However, verifying Message Passing Interface (MPI) programs is challenging, due to the …
However, verifying Message Passing Interface (MPI) programs is challenging, due to the …
Extracting clean performance models from tainted programs
Performance models are well-known instruments to understand the scaling behavior of
parallel applications. They express how performance changes as key execution parameters …
parallel applications. They express how performance changes as key execution parameters …
MPI-corrbench: Towards an MPI correctness benchmark suite
The Message Passing Interface (MPI) is the de-facto standard for distributed memory
computing in high-performance computing (HPC). To aid developers write correct MPI …
computing in high-performance computing (HPC). To aid developers write correct MPI …
Precise predictive analysis for discovering communication deadlocks in MPI programs
Abstract The Message Passing Interface (MPI) is the standard API for high-performance and
scientific computing. Communication deadlocks are a frequent problem in MPI programs …
scientific computing. Communication deadlocks are a frequent problem in MPI programs …
Precise predictive analysis for discovering communication deadlocks in MPI programs
The Message Passing Interface (MPI) is the standard API for parallelization in high-
performance and scientific computing. Communication deadlocks are a frequent problem in …
performance and scientific computing. Communication deadlocks are a frequent problem in …
Scheduling sequence selection for generating test data to cover paths of MPI programs
B Sun, J Wang, D Gong, T Tian - Information and Software Technology, 2019 - Elsevier
Context: As one of key tasks in software testing, test data generation has been receiving
widespread attention in recent years. Message-passing Interface (MPI) programs, which are …
widespread attention in recent years. Message-passing Interface (MPI) programs, which are …
A type discipline for message passing parallel programs
We present ParTypes, a type discipline for parallel programs. The model we have in mind
comprises a fixed number of processes running in parallel and communicating via collective …
comprises a fixed number of processes running in parallel and communicating via collective …
Program partitioning and deadlock analysis for MPI based on logical clocks
S Li, M Wang, H Zhang, Y Liu - Parallel Computing, 2024 - Elsevier
The message passing interface (MPI) has become a standard for programming models in
the field of high performance computing. It is of great importance to ensure the reliability of …
the field of high performance computing. It is of great importance to ensure the reliability of …
Combining symbolic execution and model checking to verify MPI programs
H Yu - Proceedings of the 40th International Conference on …, 2018 - dl.acm.org
Message Passing Interface (MPI) has become the standard programming paradigm in high
performance computing. It is challenging to verify MPI programs because of high parallelism …
performance computing. It is challenging to verify MPI programs because of high parallelism …