OVERIFY : Optimizing Programs for Fast Verification (2013)

by Jonas Wagner, Volodymyr Kuznetsov, George Candea
Venue:In 14th Workshop on Hot Topics in Operating Systems. USENIX