Dataflow analysis for concurrent programs using datarace detection (2008)

by R CHUGH, J W VOUNG, R JHALA, S LERNER
Venue:In PLDI