Automatic MPI Performance Assertion is my Graduation Project, Tsinghua University, 2013.