@TECHREPORT{pratikakis:tr06,
  TITLE = {Context-sensitive Correlation Analysis for Detecting Races (Extended version)},
  AUTHOR = {Polyvios Pratikakis and Jeffrey S. Foster and Michael Hicks},
  INSTITUTION = {Department of Computer Science, University of Maryland},
  NUMBER = {CS-TR-4789},
  NOTE = {Extends PLDI 2006 paper with full formal development},
  MONTH = {June},
  YEAR = 2006
}