A sound and complete dynamic atomicity checker for multithreaded programs (2008)

by Velodrome
Venue:In Programming Language Design and Impl. (PLDI