HOME
PEOPLE
RESEARCH
SOFTWARE
VISITING
SmartScripts
A Learning-based Approach to Detecting Semantic Errors in Dynamic Scripts.
LLVMRace
A fast and precise race detector for C/C++ programs.
D4
An interactive race debugger in the IDE for Java programs.