FOCS Lab @ NUS
FOCS Lab @ NUS
People
Publications
Research Support
Minjian Zhang
Latest
Dynamic Race Detection with O(1) Samples
State Space Estimation for DPOR-based Model Checkers
Efficient Timestamping for Sampling-Based Race Detection
Dynamic Race Detection With O(1) Samples
Checking LTL[F,G,X] on Compressed Traces in Polynomial Time
Cite
×