Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352)


Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-Gonzalez. Dagstuhl Report, 2018.
[pdf] [bib]

Abstract: This report summarises the presentations, discussion sessions and panel that took place during the Dagstuhl seminar on “Analysis and Synthesis of Floating-point Programs” that took place during August 27-30, 2017. We hope that the report will provide a useful resource for researchers today who are interested in understanding the state-of-the-art and open problems related to analysing and synthesising floating-point programs, and as a historical resource helping to clarify the status of this field in 2017.


  author = {Eva Darulova and Alastair F. Donaldson and Zvonimir Rakamari\'c and
    Cindy Rubio-Gonz{\'a}lez},
  title = {Analysis and Synthesis of Floating-point Programs ({Dagstuhl Seminar 17352})},
  journal = {Dagstuhl Reports},
  volume = {7},
  number = {8},
  year = {2018},
  pages = {74--101},
  doi = {10.4230/DagRep.7.8.74},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},