LOCKSMITH: context-sensitive correlation analysis for race detection.

Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks

Browse the full PLDI paper archive.