@TECHREPORT{redflag-proposal,
  AUTHOR =       "J. Seyster",
  TITLE =        "Runtime Verification of Kernel-Level Concurrency Using Compiler-Based Instrumentation",
  INSTITUTION =  "Computer Science Department, Stony Brook University",
  YEAR =         "2012",
  MONTH =        "January",
  NUMBER =       "FSL-12-01",
  NOTE =         "\url{www.fsl.cs.sunysb.edu/docs/jseyster-proposal/redflag.pdf}",
}