Detecting Concurrency Bugs in Multithreaded Software

Parallel software is plagued by subtle, hard-to-find bugs like data races that can appear on one execution and disappear on the next. We're building better debugging tools that can find these bugs more efficiently and with greater precision, going after bugs both in multi-threaded C/C++/Java code and also CUDA/OpenCL code that runs on GPUs.