Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs

Polyvios Pratikakis. Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs. PhD thesis, University of Maryland, College Park, MD, USA, 2008. [doi]

Abstract

Abstract is missing.