Formalizing Spark Applications with MSVL. - Meng Wang; Shushan Li (SOFL+MSVL, 2020)

Deadlock Detection for MPI Programs Based on Refined Match-sets. - Shushan Li; Meng Wang; Hong Zhang (CLUSTER, 2022)

Program partitioning and deadlock analysis for MPI based on logical clocks. - Shushan Li; Meng Wang; Hong Zhang; Yao Liu (Parallel Comput., 2024)