Stem locksmith$ (all stems)
1 papers:
PLDI-2006-PratikakisFH #analysis #concurrent #correlation #detection #named- LOCKSMITH: context-sensitive correlation analysis for race detection (PP, JSF, MWH), pp. 320–331.
PLDI-2006-PratikakisFH #analysis #concurrent #correlation #detection #named