LifeJacket: verifying precise floating-point optimizations in LLVM.

Andres Nötzli Fraser Brown

Published in: SOAP@PLDI (2016)

Keyphrases

floating point
fixed point
square root
sparse matrices
instruction set
floating point arithmetic
model checking
information systems
low cost
data processing
interval arithmetic