FPBench Logo

Papers using FPBench

Published uses of FPBench

If you're using FPBench in your research, please cite us!
@article{fpbench,
  author={Nasrine Damouche and Matthieu Martel and Pavel Panchekha and Jason Qiu and Alex Sanchez-Stern and Zachary Tatlock},
  title={Toward a Standard Benchmark Format and Suite for Floating-Point Analysis},
  series={NSV'16},
  month=July,
  year=2016
}

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

NSV’16: N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, and Z. Tatlock

Papers using FPBench

  1. Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations

    AITest’19: M. Claude, M. Rueher
  2. Building Better Bit-Blasting for Floating-Point Problems

    TACAS’19: M. Brain, F. Schanda, and Y. Sun
  3. A Mixed Real and Floating-Point Solver

    NFM’19: R. Salvia, L. Titulo, M. A. Feliu, M. M. Moscato, C. A. Munoz, and Z. Rakamric
  4. Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations

    AITest’19: M. Claude and M. Rueher
  5. Combining Tools for Optimization and Analysis of Floating-Point Computations

    FM’18: H. Becker, P. Panchekha, E. Darulova, and Z. Tatlock
    Combining Daisy and Herbie using FPBench tools. All scripts are available.
  6. A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis

    SAS’18: M. Jacquemin, S. Putot, and F. Védrine
  7. Automated Repair of High Inaccuraciesin Numerical Programs

    ICSME’17: X. Yi, L. Chen, X. Mao, and T. Ji
  8. Sub-domain Selection Strategies For Floating Point Constraint Systems

    HAL: H. Zitoun, C. Michel, M. Rueher, and L. Michel
  9. Toward a Standard Benchmark Format and Suite for Floating-Point Analysis

    NSV’16: N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, and Z. Tatlock
    This paper introduced the FPBench 1.0 standards.