FOCS Lab
@ NUS
FOCS Lab
@ NUS
People
Projects
Publications
Research Support
IndiCS 2026
Light
Dark
Automatic
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
×