@article{AustinYFS13,
 author = {Austin, Thomas H. and Yang, Jean and Flanagan, Cormac and Solar-Lezama, Armando},
 title = {Faceted execution of policy-agnostic programs},
 booktitle = {Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security},
 series = {PLAS '13},
 year = {2013},
 pages = {15--26},
 publisher = {ACM},
 address = {New York, NY, USA},
}