Towards Verified, Constant-time Floating Point Operations.

Marc Andrysco Andres Nötzli Fraser Brown Ranjit Jhala Deian Stefan

Published in: CCS (2018)

Keyphrases

floating point
floating point arithmetic
fixed point
square root
sparse matrices
instruction set
fast fourier transform
image sequences
multi view
operating system
fine grained
interval arithmetic