Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller. Automated type-based analysis of data races and atomicity. 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 83-94, ACM, 2005. [doi]
Abstract is missing.