Magiclock: Scalable detection ofpotential deadlocks in large- scalemultithreaded programs

Yan Cai, W. K. Chan

Research output: Journal Publications and ReviewsRGC 21 - Publication in refereed journalpeer-review

49 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Magiclock: Scalable detection ofpotential deadlocks in large- scalemultithreaded programs'. Together they form a unique fingerprint.

Computer Science