Towards Verified, Constant-time Floating Point Operations.

Marc Andrysco, Andres Ntzli, Fraser Brown, Ranjit Jhala, Deian Stefan

Browse the full CCS paper archive.