@inproceedings{hooi11b,
 author = {Hooimeijer, Pieter and Livshits, Benjamin and Molnar, David and Saxena, Prateek and Veanes, Margus},
 title = {Fast and precise sanitizer analysis with {BEK}},
 booktitle = {Proceedings of the 20th USENIX conference on Security},
 year = {2011},
 location = {San Francisco, CA},
 pages = {1--16},
 doi = {http://dl.acm.org/citation.cfm?id=2028067.2028068},
 publisher = {USENIX Association},
 address = {Berkeley, CA, USA},
}