A fault localization system that precisely pinpoints the root cause of concurrency bugs.