[ACM Press the tenth ACM SIGPLAN symposium - Chicago, IL, USA (2005.06.15-2005.06.17)] Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05 - Automated type-based analysis of data races and atomicitySasturkar, Amit; Agarwal, Rahul; Wang, Liqiang; Stoller, Scott D. · 2005