Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. Race checking by context inference. In William Pugh, Craig Chambers, editors, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. pages 1-13, ACM, 2004. [doi]
Abstract is missing.