Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). - Eva Darulova; Anastasiia Izycheva; Fariha Nasir; Fabian Ritter 002; Heiko Becker; Robert Bastian (TACAS (1), 2018)