Efficient Dynamic Verification Algorithms for Mpi Applications. door Sarvani Vakkalanka