Dataflow analysis for concurrent programs using data-race detection

Jan Wen Voung. Dataflow analysis for concurrent programs using data-race detection. PhD thesis, University of California, San Diego, USA, 2010. [doi]

Abstract

Abstract is missing.