@MASTERSTHESIS{abhinav10thesis,
  AUTHOR =       "A. Duggal",
  TITLE =        "{Stopping Data Races Using Redflag}",
  SCHOOL =       "Stony Brook University",
  YEAR =         "2010",
  MONTH =        "May",
  NOTE =         "Technical Report FSL-10-02",
}