Shiqing Fan: MPI-semantic memory checking tools for parallel applications. University of Stuttgart 2013