2014-2016 Static analysis Race Researcher A graphical interface to Race static analyzer, allowing to quickly spot locking failures. LanguagesC# PlatformsWindows, Linux, Mac