Efficient Dynamic Verification Algorithms for Mpi Applications. by Sarvani Vakkalanka