LifeJacket: verifying precise floating-point optimizations in LLVM

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 14, 2016
Source ID
10.1145/2931021.2931024

Entities

People

  • Andres Nötzli
  • Fraser Brown

Organizations

  • Defense Advanced Research Projects Agency
  • Stanford University