Andreev, D.; Antonov, A.; Voevodin, V.; Zhumatii, S.; Nikitenko, D.; Stefanov, K.; Shvets, P. A System for the Automated Finding of Inefficiencies and Errors in Parallel Programs. Num. Meth. Prog. 2013, 14, 48-53.