Shushan Li

According to our database¹, Shushan Li authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Program partitioning and deadlock analysis for MPI based on logical clocks.

[BibT_eX]

[DOI]

Parallel Comput., 2024

2022

Deadlock Detection for MPI Programs Based on Refined Match-sets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Cluster Computing, 2022

2020

Formalizing Spark Applications with MSVL.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020