Formal verification of practical MPI programs.

Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur

Browse the full PPoPP paper archive.