Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms

Document Details

Document Type
Pub Defense Publication
Publication Date
Feb 22, 2020
Source ID
10.1145/3368826.3377924

Entities

People

  • Keyur Joshi
  • Sasa Misailovic
  • Vimuth Fernando

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Illinois Urbana–Champaign