Shushan Li

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

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