Supported by:
Synopsys
Facebook
Facebook
Intel

Monday June 14th, 2021 from 17:45 to 18:35 (CEST)

Session 1. Precision tuning and verification

Chair: Guillaume Melquiond

1. Combining Precision Tuning and Rewriting for Faster, More Accurate Programs
Brett Saiki, Oliver Flatt, Zachary Tatlock, Pavel Panchekha and Chandrakana Nandi
[Paper]


2. Tagged error: tracing numerical error through computations
Nestor Demeure, C├ędric Chevalier Christophe Denis and Pierre Dossantos-Uzarralde
[Paper]