USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
-OVERIFY: Optimizing Programs for Fast Verification
Submitted by assistant on February 7, 2014 - 1:00 pm
Title | -OVERIFY: Optimizing Programs for Fast Verification |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | Wagner J, Kuznetsov V, Candea G |
Conference Name | 14th Workshop on Hot Topics in Operating Systems (HotOS XIV) |
Date Published | 05/2013 |
Publisher | USENIX Association |
Conference Location | Santa Ana Pueblo, NM |
URL | https://www.usenix.org/conference/hotos13/session/wagner |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX