@inproceedings{dam-mar-pan-qiu-san-tat-16-aa-fpbench,
  author = {Damouche, Nasrine and Martel, Matthieu and Panchekha, Pavel and Qiu, Chen and Sanchez-Stern, Alexander and Tatlock, Zachary},
  title = {Toward a Standard Benchmark Format and Suite for Floating-Point Analysis},
  booktitle = {Revised Selected Papers of the 9th International Workshop on Numerical Software Verification (NSV)},
  location = {Toronto, CA},
  series = {Lecture Notes in Computer Science},
  volume = {10152},
  month = jul,
  year = 2016,
  pages  = {63–77},
  doi = {10.1007/978-3-319-54292-8_6},
  comment = {Describes FPBench, an evolving benchmark for ``validation and optimization of numerical accuracy in floating-point computations'', whatever that means.  Mentions AA but it is not clear whether they use it.},
  abstract = {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 floating-point benchmark format and accuracy measures for comparing different tools. The FPBench format and measures allow comparing and composing different floating-point tools. We describe the FPBench format and measures and show that FPBench expresses benchmarks from recent papers in the literature, by building an initial benchmark suite drawn from these papers. We intend for FPBench to grow into a standard benchmark suite for the members of the floating-point tools research community.}
}