@inproceedings{dar-izy-nas-rit-bec-bas-18-aa-daisy,
  author = {Darulov{\'a}, Eva and Izycheva, Anastasiia and Nasir, Fariha and Ritter, Fabian and Becker, Heiko and Bastian, Robert},
  title = {{Daisy}: {Framework} for Analysis and Optimization of Numerical Programs},
  note = {Tool paper.},
  booktitle = {Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part I},
  location = {Thessaloniki, GR},
  series = {Lecture Notes in Computer Science},
  volume = {10805},
  month = apr,
  pages = {270–287},
  doi = {10.1007/978-3-319-89960-2_15},
  year = 2018,
  comment = {Uses IA, AA, and SMT},
  abstract = {Automated techniques for analysis and optimization of finite-precision computations have recently garnered significant interest. Most of these were, however, developed independently. As a consequence, reuse and combination of the techniques is challenging and much of the underlying building blocks have been re-implemented several times, including in our own tools. This paper presents a new framework, called Daisy, which provides in a single tool the main building blocks for accuracy analysis of floating-point and fixed-point computations which have emerged from recent related work. Together with its modular structure and optimization methods, Daisy allows developers to easily recombine, explore and develop new techniques. Daisy’s input language, a subset of Scala, and its limited dependencies make it furthermore user-friendly and portable.}
}