@article{wang06tse, author="Liqiang Wang and Scott D. Stoller", title="Runtime Analysis of Atomicity for Multi-Threaded Programs", journal = "IEEE Transactions on Software Engineering", year = 2006, month = feb, volume = 32, number = 2, pages="93-110", } A preliminary version appeared as: @techreport{wang04runtime, author="Liqiang Wang and Scott D. Stoller", title="Runtime Analysis of Atomicity for Multi-Threaded Programs", month=jul, year="2004 (revised May 2005)", institution = "Computer Science Department, SUNY Stony Brook", type = "Technical Report", number = "DAR 04-14" }