FOCS Lab @ NUS
FOCS Lab @ NUS
People
Publications
Research Support
Dileep Kini
Latest
Data Race Detection on Compressed Traces
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Dynamic Race Prediction in Linear Time
Cite
×