Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev. Moving the Needle on Rigorous Floating-Point Precision Tuning. In Bruno Dutertre, Natarajan Shankar, editors, Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017. Volume 5 of Kalpa Publications in Computing, pages 19-30, EasyChair, 2017. [doi]
Abstract is missing.