Scholar
Minjian Zhang
Google Scholar ID: ZM3AXlIAAAAJ
Phd candidate at UIUC
formal methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
16
H-index
2
i10-index
1
Publications
6
Co-authors
0
Contact
No contact links provided.
Publications
3 items
Efficient Dynamic Algorithms to Predict Short Races
2026
Cited
0
Dynamic Race Detection With O(1) Samples
2025
Cited
0
Efficient Timestamping for Sampling-based Race Detection
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
