D. Andreev, “A system for the automated finding of inefficiencies and errors in parallel programs”, Num. Meth. Prog., vol. 14, no. 37, pp. 48–53, Aug. 2013.