Fully automatic and precise detection of thread safety violations (0)

by M Pradel, T R Gross
Venue:In Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’12