@INPROCEEDINGS{pratikakis06locksmith,
  TITLE = {Context-sensitive Correlation Analysis for Detecting Races},
  BOOKTITLE = {Proceedings of the {ACM} Conference on
               Programming Language Design and Implementation (PLDI)},
  AUTHOR = {Polyvios Pratikakis and Jeffrey S. Foster and Michael Hicks},
  LOCATION = {Ottawa, Canada},
  MONTH = {June},
  YEAR = 2006
}