Ohad Shacham, Mooly Sagiv, Assaf Schuster. Scaling model checking of dataraces using dynamic information. 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 107-118, ACM, 2005. [doi]
Abstract is missing.