@InProceedings{livshits09pldi,
  author =       "Benjamin Livshits and Aditya V. Nori and Sriram K.
                 Rajamani and Anindya Banerjee",
  title =        "Merlin: Specification Inference for Explicit
                 Information Flow Problems",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  month =        jun,
  year =         "2009",
  location =     "Dublin, Ireland",
}