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).