Sign in
Shushan Li
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Deadlock Detection
Distributed Databases
Top Venues
CLUSTER
SOFL+MSVL
</>
Publications
</>
Shushan Li
,
Meng Wang
,
Hong Zhang
Deadlock Detection for MPI Programs Based on Refined Match-sets.
CLUSTER
(2022)
Meng Wang
,
Shushan Li
Formalizing Spark Applications with MSVL.
SOFL+MSVL
(2020)