Verification of MPI programs using session types

  title={Verification of MPI programs using session types},
  author={Kohei Honda and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and Vasco Thudichum Vasconcelos and Nobuko Yoshida},
Developing safe, concurrent (and parallel) software systems is a hard task in multiple aspects, particularly the sharing of information and the synchronization among multiple participants of the system. In the message passing paradigm, this is achieved by sending and receiving messages among different participants, raising a number of verification problems. For instance, exchanging messages in a wrong order may prevent the system from progressing, causing a deadlock. MPI is the most commonly… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…