Merlin: Specification inference for explicit information flow problems. (2009)

by B Livshits, A V Nori, S K Rajamani, A Banerjee
Venue:In Proc. of the ACM International Conference on Programming Language Design and Implementation (PLDI),