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]