Statistics
Publications
4
Citations
144
H-Index
4
Active since
2012
Affiliations
University of Delaware(Current)
Manchun Zheng is an author at University of Delaware specializing in computer science, computing, and parallel programming models.
Publications per year
2012–2017
4
4
Stephen F. Siegel, Manchun Zheng, Ziqing Luo et al. · 2015 · 76 citations · Full text
CIVL: Formal Verification of Parallel Programs
Manchun Zheng, Michael S. Rogers, Ziqing Luo et al. · 2015 · 28 citations
Verification of MPI programs using CIVL
Ziqing Luo, Manchun Zheng, Stephen F. Siegel · 2017 · 21 citations
1–4 of 4