Toward a Standard Benchmark Format and Suite for Floating-Point Analysis

@inproceedings{Damouche2016TowardAS,
  title={Toward a Standard Benchmark Format and Suite for Floating-Point Analysis},
  author={Nasrine Damouche and Matthieu Martel and Pavel Panchekha and Chen Qiu and Alexander Sanchez-Stern and Zachary Tatlock},
  booktitle={NSV@CAV},
  year={2016}
}
We introduce FPBench, a standard benchmark format for validation and optimization of numerical accuracy in floating-point computations. FPBench is a first step toward addressing an increasing need in our community for comparisons and combinations of tools from different application domains. To this end, FPBench provides a basic floatingpoint benchmark format and accuracy measures for comparing different tools. The FPBench format and measures allow comparing and composing different floating… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
8 Citations
28 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 28 references

DIMACS challenge . Satisfiability . Suggested format . , 1993 Quadratic zonotopes - an extension of zono - topes to quadratic arithmetics

  • P. Cousot J. Bertrane, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival
  • Programming Languages and Systems - 13 th Asian…
  • 2015

Static analysis and verification of aerospace software by abstract interpretation

  • J. Bertrane, P. Cousot, +4 authors X. Rival
  • Found. Trends Program. Lang., 2(2-3):71–190, Dec.
  • 2015
1 Excerpt

Similar Papers

Loading similar papers…