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