Resolving the conflict between generality and plausibility in verified computation

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 15, 2013
Source ID
10.1145/2465351.2465359

Entities

People

  • Andrew J. Blumberg
  • Benjamin Braun
  • Bryan Parno
  • Michael Walfish
  • Srinath Setty
  • Victor Vu

Organizations

  • Air Force Office of Scientific Research
  • Microsoft Research
  • National Science Foundation
  • University of Texas at Austin