Liqiang Wang, Scott D. Stoller. Static analysis of atomicity for programs with non-blocking synchronization. In Keshav Pingali, Katherine A. Yelick, Andrew S. Grimshaw, editors, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA. pages 61-71, ACM, 2005. [doi]
Abstract is missing.