Lock Analysis

Advanced Topics in Programming Languages Series: Effective Static Race Detection

GoogleTalksArchive