@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",
}