Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner. Dataflow analysis for concurrent programs using datarace detection. In Rajiv Gupta, Saman P. Amarasinghe, editors, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. pages 316-326, ACM, 2008. [doi]
Abstract is missing.