bibliography.bib

@unpublished{interflop,
  author = {},
  title = {{Interflop Project}},
  optjournal = {},
  year = {},
  optkey = {},
  optvolume = {},
  optnumber = {},
  optpages = {},
  optmonth = {},
  note = {\url{https://github.com/interflop/interflop}},
  optannote = {},
}


@article{zeller2001automated,
  title={Automated debugging: Are we close?},
  author={Zeller, Andreas},
  journal={Computer},
  volume={34},
  number={11},
  pages={26--31},
  year={2001},
  publisher={IEEE}
}

@inproceedings{denis2016verificarlo,
  title={Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic},
  author={Denis, Christophe and de Oliveira Castro, Pablo and Petit, Eric},
  booktitle={Computer Arithmetic (ARITH), 23nd Symposium on},
  pages={55--62},
  year={2016},
  organization={IEEE}
}

@book{parker1997monte,
  title={Monte Carlo Arithmetic: exploiting randomness in floating-point arithmetic},
  author={Stott Parker, Douglas},
  year={1997},
  publisher={University of California. Computer Science Department}
}

@article{Fousse:2007:MMB:1236463.1236468,
 author = {Fousse, Laurent and Hanrot, Guillaume and Lef\`{e}vre, Vincent and P{\'e}lissier, Patrick and Zimmermann, Paul},
 title = {MPFR: A Multiple-precision Binary Floating-point Library with Correct Rounding},
 journal = {ACM Trans. Math. Softw.},
 issue_date = {June 2007},
 volume = {33},
 number = {2},
 month = jun,
 year = {2007},
 issn = {0098-3500},
 articleno = {13},
 url = {http://doi.acm.org/10.1145/1236463.1236468},
 doi = {10.1145/1236463.1236468},
 acmid = {1236468},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {IEEE 754 standard, Multiple-precision arithmetic, correct rounding, elementary function, floating-point arithmetic, portable software},
}

@article{frechtling2015automated,
  title={Automated Dynamic Error Analysis Methods for Optimization of Computer Arithmetic Systems},
  author={Frechtling, Michael Kenneth},
  year={2015},
  publisher={University of Sydney}
}

@article{fevotte2016verrou,
  title={VERROU: a CESTAC evaluation without recompilation},
  author={F{\'e}votte, Fran{\c{c}}ois and Lathuiliere, Bruno},
  journal={SCAN 2016},
  pages={47},
  year={2016}
}

@unpublished{verrou,
  author = {François Févotte and Bruno Lathuilière},
  title = { {Verrou}: Assessing Floating-Point Accuracy Without Recompiling},
  optjournal = {},
  year = {},
  optkey = {},
  optvolume = {},
  optnumber = {},
  optpages = {},
  optmonth = {},
  note = {\url{https://hal.archives-ouvertes.fr/hal-01383417}},
  optannote = {},
}

@inproceedings{graillat2005compensated,
  title={Compensated horner scheme},
  author={Graillat, Stef and Langlois, Philippe and Louvet, Nicolas},
  booktitle={Algebraic and Numerical Algorithms and Computer-Assisted Proofs, B. Buchberger, S. Oishi, M. Plum and SM Rump (eds.), Dagstuhl Seminar Proceedings},
  number={05391},
  year={2005}
}

@misc{libeft,
  title={{LibEFT: a library implementing Error-Free transformations}},
  author={Francois F\'evotte and Bruno Lathuili\`ere},
  year={2017},
  url={https://www.github.com/ffevotte/libeft},
}