Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen. Commutativity race detection. In Michael F. P. O'Boyle, Keshav Pingali, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. pages 33, ACM, 2014. [doi]
Abstract is missing.