Commutativity race detection
Dimitar I. Dimitrov, Veselin Raychev, Martin Vechev, Eric Koskinen · 2014
This paper introduces the concept of a commutativity race. A commutativity race occurs in a given execution when two library method invocations can happen concurrently yet they do not commute. Commutativity races are an elegant concept enabling reasoning about concurrent interaction at the library interface.