A Learning-based Approach to Detecting Semantic Errors in Dynamic Scripts.

A fast and precise race detector for C/C++ programs.

An interactive race debugger in the IDE for Java programs.