DeLesley Hutchins, Aaron Ballman, Dean Sutherland. C/C++ Thread Safety Analysis. In 14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014, Victoria, BC, Canada, September 28-29, 2014. pages 41-46, IEEE, 2014. [doi]