Commutativity race detection (2014)

by D Dimitrov, V Raychev, M Vechev, E Koskinen
Venue:In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI