Dataflow analysis for concurrent programs using datarace detection (2008)

by R Chugh, J W Voung, R Jhala, S Lerner
Venue:In Proc. of the ACM SIGPLAN 2008 Conf. on Programming Language Design and Implementation (PLDI