papers.html

<!doctype html>
<html>
<head>
  <meta charset="utf-8"/>
  <title>Papers using FPBench</title>
  <link rel="stylesheet" type="text/css" href="fpbench.css">
</head>
<body>
  <header>
    <a href='.' style='color: black; text-decoration: none;'>
      <img src='img/logo.png' height='150' alt='FPBench Logo' />
      <h1>Papers using FPBench</h1>
    </a>
    <p>Published uses of FPBench</p>
    <ul>
      <li><a href="index.html">Home</a></li>
      <li><a href="benchmarks.html">Benchmarks</a></li>
      <li><a href="https://github.com/FPBench/FPBench/blob/main/tools.md">Compilers</a></li>
      <li><a href="spec/index.html">Standards</a></li>
    </ul>
  </header>

  If you're using FPBench in your research, please cite us!

  <pre>@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
}</pre>

  <div class="paper">
    <h3><a href="nsv16.html">Toward a Standard Benchmark Format and Suite for Floating-Point Analysis</a></h3>
    <i>NSV’16</i>: N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, and Z. Tatlock
  </div>

  <h2>Papers using FPBench</h2>

  <ol class="papers-list">
    <li> <!-- Mar 2022 -->
      <header class="paper">
        <h3><a href="https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_16.pdf">Inferring Interval-Valued Floating-Point Preconditions</a></h3>
        <i>EAPLS'22</i>: J. Krämer, L. Blatter, E. Darulova , M. Ulbrich
      </header>
    </li>
    <li> <!-- Mar 2022 -->
      <header class="paper">
        <h3><a href="https://arxiv.org/abs/2203.07486.pdf">Constrained Precision Tuning</a></h3>
        <i>ArXiv</i>: D. Ben Khalifa, M. Martel
      </header>
    </li>
    <li> <!-- Feb 2022 -->
      <header class="paper">
        <h3><a href="https://arxiv.org/abs/2202.05472.pdf">Dandelion: Certified Approximations of Elementary Functions</a></h3>
        <i>ArXiv</i>: H. Becker, M. Tekriwal, E. Darulova, A. Volkova, J.B. Jeannin
      </header>
    </li>

    <li> <!-- Nov 2021 -->
      <header class="paper">
        <h3><a href="https://tel.archives-ouvertes.fr/tel-03416121/document">Floating-point numbers round-off error analysis by constraint programming</a></h3>
        <i>Thesis</i>: R. Garcia
      </header>
    </li>
    <li> <!-- Oct 2021 -->
      <header class="paper">
        <h3><a href="https://dl.acm.org/doi/pdf/10.1145/3466752.3480131">The Laplace Microarchitecture for Tracking Data Uncertainty and Its Implementation in a RISC-V Processor</a></h3>
        <i>MICRO'21'</i>: V. Tsoutsouras, O. Kaparounakis, B. Bilgin, C. Samarakoon, J. Meech, J. Heck, P. Stanley-Marbell
      </header>
    </li>
    <li> <!-- Sept 2021 -->
      <header class="paper">
        <h3><a href="https://www.martin-schreiber.info/data/student_projects/2021_BA_torben_soennecken.pdf">On Automized Error Analysis for Numerical Solvers of Differential Equations</a></h3>
        <i>Thesis</i>: T. Soennecken
      </header>
    </li>
    <li> <!-- Sept 2021 -->
      <header class="paper">
        <h3><a href="https://dl.acm.org/doi/pdf/10.1145/3477012">Regime Inference for Sound Floating-Point Optimizations</a></h3>
        <i>Trans. Emb. Comp. Sys. 2021</i>: R. Rabe, A. Izycheva, E. Darulova
      </header>
    </li>
    <li> <!-- Aug 2021 -->
      <header class="paper">
        <h3><a href="https://digital.lib.washington.edu/researchworks/bitstream/handle/1773/48230/Zorn_washington_0250E_23717.pdf?sequence=1&isAllowed=y">Rounding</a></h3>
        <i>Thesis</i>: B. Zorn
      </header>
    </li>
    <li> <!-- Aug 2021 -->
      <header class="paper">
        <h3><a href="https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9603367">Combining Precision Tuning and Rewriting</a></h3>
        <i>ARITH'21</i>: B. Saiki, O. Flatt, C. Nandi, P. Panchekha
      </header>
    </li>
    <li> <!-- July 2021 -->
      <header class="paper">
        <h3><a href="https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9.pdf">Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations</a></h3>
        <i>CAV'21</i>: G. Constantinides, F. Dahlqvist, Z Rakamarić, R. Salvia 
      </header>
    </li>

    <li> <!-- Feb 2021 -->
      <header class="paper">
        <h3><a href="https://link.springer.com/content/pdf/10.1007/978-3-030-72013-1.pdf">A Two-Phase Approach for Conditional Floating-Point Verification</a></h3>
        <i>TACAS'21</i>: D. Lohar, C. Jeangoudoux, J. Sobel, E. Darulova, M. Christakis
      </header>
    </li>
    <li> <!-- Feb 2021 -->
      <header class="paper">
        <h3><a href="https://media.proquest.com/media/hms/PFT/2/uKRFI?cit%3Aauth=Gu%2C+Yijia&cit%3Atitle=Preserving+Numerical+Program+Properties+under+Computing+Uncertainties&cit%3Apub=ProQuest+Dissertations+and+Theses&cit%3Avol=&cit%3Aiss=&cit%3Apg=&cit%3Adate=2021&ic=true&cit%3Aprod=ProQuest+Dissertations+%26+Theses+Global&_a=ChgyMDIyMDQwMTE4MDMzOTI0MjozNTE2NzMSBTk1NjM2GgpPTkVfU0VBUkNIIg03My41Mi4xOTEuMTA0KgUxODc1MDIKMjUwMDQ5NTAwNzoNRG9jdW1lbnRJbWFnZUIBMFIGT25saW5lWgJGVGIDUEZUagoyMDIxLzAxLzAxcgoyMDIxLzEyLzMxegCCASlQLTEwMDg3NTItMTQ2NzctQ1VTVE9NRVItMTAwMDAyMDUtNDIwMDM4N5IBBk9ubGluZcoBdU1vemlsbGEvNS4wIChNYWNpbnRvc2g7IEludGVsIE1hYyBPUyBYIDEwXzE1XzcpIEFwcGxlV2ViS2l0LzYwNS4xLjE1IChLSFRNTCwgbGlrZSBHZWNrbykgVmVyc2lvbi8xNS4zIFNhZmFyaS82MDUuMS4xNdIBFkRpc3NlcnRhdGlvbnMgJiBUaGVzZXOaAgdQcmVQYWlkqgIlT1M6RU1TLURvd25sb2FkUGRmLWdldE1lZGlhVXJsRm9ySXRlbcoCE0Rpc3NlcnRhdGlvbi9UaGVzaXPSAgFZ4gIBTuoCCGdzY2hvbGFy8gIA%2BgIBToIDA1dlYooDHENJRDoyMDIyMDQwMTE4MDMzOTI0NDo4MTY2OTg%3D&_s=fOxvhXHry9B3QOVXmVhh4UtV90s%3D">Preserving Numerical Program Properties under Computing Uncertainties</a></h3>
        <i>Thesis</i>: Y. Gu
      </header>
    </li>
    <li> <!-- Jan 2021 -->
      <header class="paper">
        <h3><a>Runtime Abstract Interpretation for Numerical Accuracy and Robustness</a></h3>
        <i>VMCAI'21</i>: F. Védrine, M. Jacquemin, N. Kosmatov, J. Signoles 
      </header>
    </li>
    <li> <!-- Dec 2020 -->
      <header class="paper">
        <h3><a>Rigorous Enclosure of Round-Off Errors in Floating-Point Computations</a></h3>
        <i>NSV'20</i>: R. Garcia, C. Michel, M. Rueher
      </header>
    </li>
    <li> <!-- Nov 2020 -->
      <header class="paper">
        <h3><a>Error detection of arithmetic expressions</a></h3>
        <i>J. Supercomputing</i>: Y. Xia, S. Guo, J. Hao, D. Liu, J. Xu
      </header>
    </li>
    <li> <!-- Nov 2020 -->
      <header class="paper">
        <h3><a>Towards Numerical Assistants</a></h3>
        <i>NSV'20</i>: P. Panchekha, Z. Tatlock
      </header>
    </li>
    <li> <!-- Nov 2020 -->
      <header class="paper">
        <h3><a href="https://arxiv.org/pdf/2004.11960.pdf">An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis</a></h3>
        <i>SC'20</i>: A. Das, I. Briggs, G. Gopalakrishnan, P. Panchekha, and S. Krishnamoorthy
      </header>
    </li>
    <li> <!-- Nov 2020 -->
      <header class="paper">
        <h3><a href="https://dl.acm.org/doi/pdf/10.1145/3457913.3457918">Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning</a></h3>
        <i>Internetware'20</i>: A. Xiao, E. Tang, X. Chen, L. Wang
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a>A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors</a></h3>
        <i>CP'20<i>: R. Garcia, C. Michel, M. Rueher
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a>A Probabilistic Approach to Floating-Point Arithmetic</a></h3>
        <i>Asilomar'19<i>: F. Dahlqvist, R. Salvia, G. Constantinides
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="https://sc19.supercomputing.org/proceedings/workshops/workshop_pages/ws_corr102.html">Toward Multi-Precision, Multi-Format Numerics</a></h3>
        <i>Correctness’19</i>: D. Thien, B. Zorn, P. Panchekha, Z. Tatlock
      </header>
      Introduced the FPBench 1.2 standards and the formalism of multi-precision, multi-format computation.
    </li>
    <li>
      <header class="paper">
        <h3><a href="https://link.springer.com/chapter/10.1007/978-3-030-17462-0_5">Building Better Bit-Blasting for Floating-Point Problems</a></h3>
        <i>TACAS’19<i>: M. Brain, F. Schanda, and Y. Sun
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="http://soarlab.org/2019/03/nfm2019-stfmmr/">A Mixed Real and Floating-Point Solver</a></h3>
        <i>NFM’19</i>: R. Salvia, L. Titulo, M. A. Feliu, M. M. Moscato, C. A. Munoz, and Z. Rakamric
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="https://ieeexplore.ieee.org/abstract/document/8718211">Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations</a></h3>
        <i>AITest’19</i>: M. Claude and M. Rueher
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="https://link.springer.com/chapter/10.1007/978-3-319-89960-2_15">Daisy - Framework for Analysis and Optimization of Numerical Programs</a></h3>
        <i>TACAS’18</i> (Tool paper): E. Darulova, A. Izycheva, F. Nasir, F. Ritter, H. Becker, and R. Bastian
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="https://www.scitepress.org/papers/2018/69155/69155.pdf">Mixed Precision Tuning with Salsa</a></h3>
        <i>PECCS’18</i> N. Damouche, M. Martel
      </header>
    </li>
    <li> <!-- Oct 2018 -->
      <header class="paper">
        <h3><a href="https://tel.archives-ouvertes.fr/tel-02011939/document">Search strategies for solving constraint systems over floats for program verification</a></h3>
        <i>Thesis</i> H. Zitoun
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="fm18.html">Combining Tools for Optimization and Analysis of Floating-Point Computations</a></h3>
        <i>FM’18</i>: H. Becker, P. Panchekha, E. Darulova, and Z. Tatlock
      </header>

      Combining <a href="https://gitlab.mpi-sws.org/AVA/daisy-public">Daisy</a>
      and <a href="https://herbie.uwplse.org">Herbie</a> using
      FPBench tools. All scripts
      are <a href="https://github.com/FPBench/FPBench/tree/daisy-herbie">available</a>.
    </li>
    <li> <!-- June 2018 -->
      <header class="paper">
        <h3><a href="https://hal.archives-ouvertes.fr/hal-02064794/">Quatorzièmes Journées Francophones de Programmation par Contraintes</a></h3>
        <i>JFPC</i>: C. Terrioux
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="https://link.springer.com/chapter/10.1007/978-3-319-99725-4_15">A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis</a></h3>
        <i>SAS’18</i>: M. Jacquemin, S. Putot, and F. Védrine
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="https://w3.cs.jmu.edu/lam2mo/papers/2017-Lam-LLNL_Report.pdf">Software Tools for Variable-Precision Computing</a></h3>
        <i>Technical Report</i>: M. Lam
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="https://ieeexplore.ieee.org/document/8094453">Automated Repair of High Inaccuraciesin Numerical Programs</a></h3>
        <i>ICSME’17</i>: X. Yi, L. Chen, X. Mao, and T. Ji
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="https://hal.archives-ouvertes.fr/hal-01956094">Sub-domain Selection Strategies For Floating Point Constraint Systems</a></h3>
        <i>HAL</i>: H. Zitoun, C. Michel, M. Rueher, and L. Michel
      </header>
    </li>
    <li>
      <header class="paper">
        <h3><a href="nsv16.html">Toward a Standard Benchmark Format and Suite for Floating-Point Analysis</a></h3>
        <i>NSV’16</i>: N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, and Z. Tatlock
      </header>

      Introduced the FPBench 1.0 <a href="spec/">standards</a>.
    </li>
  </ol>
    

</body>
</html>