Logicalization of MPI Communication Traces (2008)

by Qiang Xu, Ravi Prithivathi, Jaspal Subhlok, Rong Zheng