Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives.

Stephen F. Siegel

Browse the full VMCAI paper archive.