Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression | IEEE Journals & Magazine | IEEE Xplore