-OVERIFY: Optimizing Programs for Fast Verification.

Jonas Wagner, Volodymyr Kuznetsov, George Candea

Browse the full HotOS paper archive.