@inproceedings {181961, author = {Jonas Wagner and Volodymyr Kuznetsov and George Candea}, title = {{-OVERIFY}: Optimizing Programs for Fast {Verification}}, booktitle = {14th Workshop on Hot Topics in Operating Systems (HotOS XIV)}, year = {2013}, address = {Santa Ana Pueblo, NM}, url = {https://www.usenix.org/conference/hotos13/session/wagner}, publisher = {USENIX Association}, month = may }