Liqiang Wang Scott D. Stoller Runtime Analysis of Atomicity for Multithreaded Programs. 93-110 2006 32 IEEE Trans. Software Eng. 2 http://doi.ieeecomputersociety.org/10.1109/TSE.2006.18 db/journals/tse/tse32.html#WangS06