학술논문
Symbolic Execution of MPI Programs with One-Sided Communications
Document Type
Conference
Author
Source
2023 30th Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2023 30th Asia-Pacific. :657-658 Dec, 2023
Subject
Language
ISSN
2640-0715
Abstract
Message-passing interface (MPI) programs are non-deterministic and challenging to ensure correctness. The introduction of one-sided communications makes the problem of non-determinism more severe for MPI programs. This paper reports our in-progress work of symbolic execution for the MPI programs with one-sided communications. Our approach can cover the non-determinism caused by the inputs, one-sided communication, and message- passing operations of MPI programs. The preliminary evaluation's results indicate the promising of our approach.