Cormac Flanagan Stephen N. Freund Atomizer: A dynamic atomicity checker for multithreaded programs. 89-109 2008 71 Sci. Comput. Program. 2 http://dx.doi.org/10.1016/j.scico.2007.12.001 db/journals/scp/scp71.html#FlanaganF08