Compiler-aided Type Tracking for Correctness Checking of MPI Applications | IEEE Conference Publication | IEEE Xplore