Atomizer: a dynamic atomicity checker for multithreaded programs | IEEE Conference Publication | IEEE Xplore