V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee
Merlin: specification inference for explicit information flow problems
PLDI, 2009.
@inproceedings{PLDI-2009-LivshitsNRB,
author = "V. Benjamin Livshits and Aditya V. Nori and Sriram K. Rajamani and Anindya Banerjee",
booktitle = "{Proceedings of the 30th Conference on Programming Language Design and Implementation}",
doi = "10.1145/1542476.1542485",
editor = "Michael Hind and Amer Diwan",
isbn = "978-1-60558-392-1",
pages = "75--86",
publisher = "{ACM}",
title = "{Merlin: specification inference for explicit information flow problems}",
year = 2009,
}