Dataflow Analysis for Concurrent Programs using Datarace Detection (2008)

by Ravi Chugh , Jan W. Voung , Ranjit Jhala , Sorin Lerner
Venue:PLDI'08
Citations:16 - 2 self