@TechReport{merlin08tr,
  title        = "Merlin: Specification Inference for Explicit Information Flow Problems",
  author       = "Anindya Banerjee, Benjamin Livshits, Aditya V. Nori, and Sriram K. Rajamani",
  year         = "2008",
  month        = dec,
  institution  = "Microsoft Research",
}