Merlin: specification inference for explicit information flow problems.

V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee

Browse the full PLDI paper archive.