Dataflow Analysis for Concurrent Programs using Datarace Detection (2008)

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