We have implemented our approach as a tool, called MPISE, which can automatically detect the deadlock and runtime bugs in MPI programs. The results of the experiments on benchmark programs and real world MPI programs indicate that MPISE finds bugs effectively and efficiently.
In this paper, we employ symbolic execution to ensure the input coverage, and propose an on-the-fly schedule algorithm to reduce the interleaving explorations ...
There are two challenges for the symbolic execution of MPI programs: 1) Guarantee the coverage of the non-determinism caused by the non-deterministic operations ...
This paper employs symbolic execution to ensure the input coverage, and proposes an on-the-fly schedule algorithm to reduce the interleaving explorations ...
In this paper, we employ symbolic execution to ensure the input coverage, and propose an on-the-fly schedule algorithm to reduce the interleaving explorations ...
Oct 19, 2024 · In this paper, we employ symbolic execution to ensure the input coverage, and propose an on-the-fly schedule algorithm to reduce the ...
We have implemented our approach as a tool, called MPISE, which can automatically detect the deadlock and runtime bugs in MPI programs. The results of the ...
MPI is widely used in high performance computing. In this extended abstract, we report our current status of analyzing MPI programs.
In this paper, we employ symbolic execution to ensure the input coverage, and propose an on-the-fly schedule algorithm to reduce the interleaving explorations ...
Bibliographic details on MPISE: Symbolic Execution of MPI Programs.
People also ask
What is symbolic execution used for?
How to run mpi programs from terminal?
What are MPI programs?