Li, S. ., Wang, M. ., & Zhang, H. . (2022). Deadlock Detection for MPI Programs Based on Refined Match-sets. In 2022 IEEE International Conference on Cluster Computing (CLUSTER) (pp. 82–93).