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

Authors Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.7.8.74.pdf
  • Filesize: 2.26 MB
  • 28 pages

Document Identifiers

Author Details

Eva Darulova
Alastair F. Donaldson
Zvonimir Rakamaric
Cindy Rubio-González
and all authors of the abstracts in this report

Cite AsGet BibTex

Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, and Cindy Rubio-González. Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). In Dagstuhl Reports, Volume 7, Issue 8, pp. 74-101, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DagRep.7.8.74

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.
Keywords
  • energy-efficient computing
  • floating-point arithmetic
  • precision allocation
  • program optimization
  • rigorous compilation

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail