External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

-OVERIFY: Optimizing Programs for Fast Verification

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]

Authors

Jonas Wagner

This author has not been identified. Look up 'Jonas Wagner' in Google

Volodymyr Kuznetsov

This author has not been identified. Look up 'Volodymyr Kuznetsov' in Google

George Candea

This author has not been identified. Look up 'George Candea' in Google
runs on