@article{wang06runtime, author="Liqiang Wang and Scott D. Stoller", title="Runtime Analysis of Atomicity for Multi-Threaded Programs", month=feb, year=2006, journal="IEEE Transactions on Software Engineering", volume=32, issue=2, pages="93-110" }