A dynamic data race detector for programs - View it on GitHub