Michael Pradel, Thomas R. Gross. Fully automatic and precise detection of thread safety violations. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 521-530, ACM, 2012. [doi]
Abstract is missing.