Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.

Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby

Browse the full CAV paper archive.