Jonas Wagner, Volodymyr Kuznetsov, George Candea. -OVERIFY: Optimizing Programs for Fast Verification. In Petros Maniatis, editor, 14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa Ana Pueblo, New Mexico, USA, May 13-15, 2013. USENIX Association, 2013. [doi]
@inproceedings{WagnerKC13,
title = {-OVERIFY: Optimizing Programs for Fast Verification},
author = {Jonas Wagner and Volodymyr Kuznetsov and George Candea},
year = {2013},
url = {https://www.usenix.org/conference/hotos13/session/wagner},
researchr = {https://researchr.org/publication/WagnerKC13},
cites = {0},
citedby = {0},
booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa Ana Pueblo, New Mexico, USA, May 13-15, 2013},
editor = {Petros Maniatis},
publisher = {USENIX Association},
}