Login / Signup
Shushan Li
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 3
Top Topics
Deadlock Detection
Manufacturing Systems
Static Analysis
Distributed Databases
Top Venues
CLUSTER
SOFL+MSVL
Parallel Comput.
</>
Publications
</>
Shushan Li
,
Meng Wang
,
Hong Zhang
,
Yao Liu
Program partitioning and deadlock analysis for MPI based on logical clocks.
Parallel Comput.
119 (2024)
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)