Dataflow analysis for concurrent programs using datarace detection.

Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner

Browse the full PLDI paper archive.