Eva Darulova. Towards a sound approximating compiler for numerical kernels (keynote). In Guido Salvaneschi, Nada Amin, editors, SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020. pages 1, ACM, 2020. [doi]
Abstract is missing.