ref.bib

@article{goldbergWhatEveryComputer1991,
  title = {What Every Computer Scientist Should Know about Floating-Point Arithmetic},
  author = {Goldberg, David},
  journal = {ACM Computing Surveys},
  volume = {23},
  number = {1},
  pages = {5--48},
  doi = {10.1145/103162.103163},
  year = {1991}
}

@inproceedings{heislerFinchDomainSpecific2022,
  title = {{Finch}: {{Domain Specific Language}} and {{Code Generation}} for {{Finite Element}} and {{Finite Volume}} in {{Julia}}},
  booktitle = {{ICCS}},
  author = {Heisler, Eric and Deshmukh, Aadesh and Sundar, Hari},
  pages = {118--132},
  publisher = {{Springer}},
  doi = {10.1007/978-3-031-08751-6\_9},
  year = {2022}
}

@article{IEEEStandardBinary1985,
  title = {{{IEEE Standard}} for {{Binary Floating-Point Arithmetic}}},
  key = {{IEEE}},
  journal = {{ANSI/IEEE Std 754-1985}},
  pages = {1--20},
  doi = {10.1109/IEEESTD.1985.82928},
  year = {1985}
}

@misc{p-draft-1997,
  title={Handling {IEEE 754} Invalid Operation Exceptions in Real Interval Arithmetic},
  author={Priest, David J.},
  note={\url{https://j3-fortran.org/doc/year/97/97-172.pdf}, Accessed 2023-08-16},
  year={1997}
}

@phdthesis{klowerLowprecisionClimateComputing2021,
  title = {Low-Precision Climate Computing: Preserving Information despite Fewer Bits},
  author = {Kl{\"o}wer, Milan},
  url = {https://ora.ox.ac.uk/objects/uuid:1158e44a-7faf-45a0-8ab1-73c91fd694a6},
  urldate = {2023-05-12},
  school = {University of Oxford},
  year = {2021}
}

@article{klowerNumberFormatsError2020,
  title = {Number {{Formats}}, {{Error Mitigation}}, and {{Scope}} for 16-{{Bit Arithmetics}} in {{Weather}} and {{Climate Modeling Analyzed With}} a {{Shallow Water Model}}},
  author = {Kl{\"o}wer, Milan and D{\"u}ben, Peter D. and Palmer, T. N.},
  journal = {Journal of Advances in Modeling Earth Systems},
  volume = {12},
  number = {10},
  doi = {10.1029/2020MS002246},
  year = {2020}
}

@inproceedings{klowerPositsAlternativeFloats2019,
  title = {Posits as an Alternative to Floats for Weather and Climate Models},
  booktitle = {{{Conference}} for {{Next Generation Arithmetic}}},
  author = {Kl{\"o}wer, Milan and D{\"u}ben, Peter D. and Palmer, Tim N.},
  pages = {1--8},
  publisher = {{ACM}},
  doi = {10.1145/3316279.3316281},
  year = {2019}
}

@book{knuthArtComputerProgramming1997,
  title = {The {{Art}} of {{Computer Programming}}, Volume 2: Seminumerical Algorithms},
  author = {Knuth, Donald Ervin},
  edition = {3rd},
  publisher = {{Addison-Wesley}},
  isbn = {978-0201896848},
  lccn = {QA76.6 .K64 1997},
  year = {1997}
}

@misc{SciMLOrdinaryDiffEqJl,
  author = {{SciML}},
  title = {{OrdinaryDiffEq.jl}},
  note={\url{https://github.com/SciML/OrdinaryDiffEq.jl}. Accessed {2023-04-18}},
  year={2023},
}

@article{torontoPracticallyAccurateFloatingPoint2014,
  title = {Practically {{Accurate Floating-Point Math}}},
  author = {Toronto, Neil and McCarthy, Jay},
  journal = {Computing in Science \& Engineering},
  volume = {16},
  number = {4},
  pages = {80--95},
  doi = {10.1109/MCSE.2014.90},
  year = {2014}
}

@inproceedings{adka-cgo-2023,
  author = {Ahrens, Willow and Donenfeld, Daniel and Kjolstad, Fredrik and Amarasinghe, Saman},
  title = {{Looplets}: A Language for Structured Coiteration},
  publisher = {{ACM}},
  doi = {10.1145/3579990.3580020},
  booktitle = {{CGO}},
  pages = {41--54},
  year = {2023}
}

@article{fenics,
  title     = {The {FEniCS} Project Version 1.5},
  author    = {M. S. Alnaes and J. Blechta and J. Hake and A. Johansson and B.  Kehlet and A. Logg and C. Richardson and J. Ring and M. E. Rognes and G. N.  Wells},
  journal   = {Archive of Numerical Software},
  volume    = {3},
  doi       = {10.11588/ans.2015.100.20553},
  year      = {2015}
}

@inproceedings{openfoam,
  author = {Maci\`{a}, Sandra and Mart\'{\i}nez-Ferrer, Pedro J. and Mateo, Sergi and Beltran, Vicen\c{c} and Ayguad\'{e}, Eduard},
  title = {Assembling a High-Productivity {DSL} for Computational Fluid Dynamics},
  publisher = {{ACM}},
  doi = {10.1145/3324989.3325721},
  booktitle = {{PASC}},
  pages = {11:1--11:11},
  year = {2019}
}

@misc{dune,
  author={Dune},
  title={{DUNE} Numerics},
  note={\url{https://www.dune-project.org/}. Accessed {2023-06-06}},
  year={2023}
}

@article{firedrake,
  author = {Rathgeber, Florian and Ham, David A. and Mitchell, Lawrence and Lange, Michael and Luporini, Fabio and Mcrae, Andrew T. T. and Bercea, Gheorghe-Teodor and Markall, Graham R. and Kelly, Paul H. J.},
  title = {{Firedrake}: Automating the Finite Element Method by Composing Abstractions},
  publisher = {{ACM}},
  volume = {43},
  number = {3},
  doi = {10.1145/2998441},
  journal = {Transactions on Mathematical Software},
  pages = {24:1--24:27},
  year = {2016}
}

@article{freefem,
  AUTHOR = {Hecht, F.},
  TITLE = {New development in {FreeFem++}},
  JOURNAL = {Journal of Numerical Mathematics},
  VOLUME = {20},
  NUMBER = {3-4},
  PAGES = {251--265},
  DOI = {10.1515/jnum-2012-0013},
  YEAR = {2012}
}

@inproceedings{dendro,
  author = {Fernando, Milinda and Neilsen, David and Hirschmann, Eric W. and Sundar, Hari},
  title = {A Scalable Framework for Adaptive Computational General Relativity on Heterogeneous Clusters},
  publisher = {{ACM}},
  doi = {10.1145/3330345.3330346},
  booktitle = {{SC}},
  pages = {1–12},
  year = {2019}
}

@article{sdjmrstp-pc-2022,
  title={Linear solvers for power grid optimization problems: A review of {GPU}-accelerated linear solvers},
  author={{\'S}wirydowicz, Kasia and Darve, Eric and Jones, Wesley and Maack, Jonathan and Regev, Shaked and Saunders, Michael A and Thomas, Stephen J. and Pele{\v{s}}, Slaven},
  journal={Parallel Computing},
  volume={111},
  number={C},
  numpages={9},
  doi={10.1016/j.parco.2021.102870},
  publisher={Elsevier},
  year={2022}
}

@article{hamlet1994random,
  title={Random testing},
  author={Hamlet, Richard},
  journal={Encyclopedia of Software Engineering},
  volume={2},
  pages={971--978},
  year={1994},
  doi={10.1002/0471028959},
  publisher={Wiley}
}

@inproceedings{ddghlllprr-correctness-2022,
  author       = {James Demmel and Jack J. Dongarra and Mark Gates and Greg Henry and Julien Langou and Xiaoye S. Li and Piotr Luszczek and Weslley S. Pereira and E. Jason Riedy and Cindy Rubio{-}Gonz{\'{a}}lez},
  title        = {Proposed Consistent Exception Handling for the {BLAS} and {LAPACK}},
  booktitle    = {{Correctness@SC}},
  pages        = {1--9},
  publisher    = {{IEEE}},
  doi          = {10.1109/Correctness56720.2022.00006},
  year         = {2022}
}

@inproceedings{gllprt-correctness-2021,
  author       = {Ganesh Gopalakrishnan and Ignacio Laguna and Ang Li and Pavel Panchekha and Cindy Rubio{-}Gonz{\'{a}}lez and Zachary Tatlock},
  title        = {Guarding Numerics Amidst Rising Heterogeneity},
  booktitle    = {{Correctness@SC}},
  pages        = {9--15},
  publisher    = {{IEEE}},
  doi          = {10.1109/Correctness54621.2021.00007},
  year         = {2021}
}

@misc{fpchecker-reports,
  author={{FPChecker}},
  title={Open Source Reports},
  note={\url{https://fpchecker.org/open-source-reports.html}. Accessed {2023-06-16}},
  year={2023}
}

@inproceedings{llg-soap-2022,
  author       = {Ignacio Laguna and Xinyi Li and Ganesh Gopalakrishnan},
  title        = {{BinFPE}: accurate floating-point exception detection for {GPU} applications},
  booktitle    = {{SOAP}},
  pages        = {1--8},
  publisher    = {{ACM}},
  doi          = {10.1145/3520313.3534655},
  year         = {2022}
}

@inproceedings{bllmg-xloop-2022,
  author       = {Dorra {Ben Khalifa} and Xinyi Li and Ignacio Laguna and Matthieu Martel and Ganesh Gopalakrishnan},
  title        = {Toward Increasing Trust in Exascale Simulations},
  booktitle    = {{XLOOP}},
  pages        = {26--31},
  publisher    = {{IEEE}},
  doi          = {10.1109/XLOOP56614.2022.00010},
  year         = {2022}
}

@misc{github-issues,
  author={{GitHub}},
  title={Issue Search: \texttt{NaN+infinity}},
  note={\url{https://github.com/search?q=NaN+infinity++state%3Aopen&type=issues&ref=advsearch}. Accessed {2023-06-16}},
  year={2023}
}

@inproceedings{llsflg-hpdc-2023,
  author = {Xinyi Li and Ignacio Laguna and Katarzyna Swirydowicz and Bo Fang and Ang Li and Ganesh Gopalakrishnan},
  title = {Design and Evaluation of {GPU-FPX}: A Low-Overhead tool for Floating-Point Exception Detection in {NVIDIA GPUs}},
  booktitle = {{HPDC}},
  publisher = {{ACM}},
  pages = {59--71},
  doi = {10.1145/3588195.3592991},
  year = {2023}
}

@article{OceananigansJOSS,
  doi = {10.21105/joss.02018},
  year = {2020},
  publisher = {The Open Journal},
  volume = {5},
  number = {53},
  numpages = {3},
  author = {Ali Ramadhan and Gregory LeClaire Wagner and Chris Hill and Jean-Michel Campin and Valentin Churavy and Tim Besard and Andre Souza and Alan Edelman and Raffaele Ferrari and John Marshall},
  title = {{Oceananigans.jl: Fast and friendly geophysical fluid dynamics on GPUs}},
  journal = {Journal of Open Source Software}
}

@inproceedings{l-ase-2019,
  author       = {Ignacio Laguna},
  title        = {{FPChecker}: Detecting Floating-Point Exceptions in {GPU} Applications},
  booktitle    = {{ASE}},
  pages        = {1126--1129},
  publisher    = {{IEEE}},
  doi          = {10.1109/ASE.2019.00118},
  year         = {2019}
}

@inproceedings{ltlg-iiswc-2022,
  author       = {Ignacio Laguna and Tanmay Tirpankar and Xinyi Li and Ganesh Gopalakrishnan},
  title        = {{FPChecker}: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed {HPC}},
  booktitle    = {{IISWC}},
  pages        = {39--50},
  publisher    = {{IEEE}},
  doi          = {10.1109/IISWC55918.2022.00014},
  year         = {2022}
}

@misc{kMilanklSherlogsJl2021,
  title = {Milankl/{{Sherlogs}}.Jl},
  author = {Kl{\"o}wer, Milan and {OnButtonUp}},
  year = {2021},
  doi = {10.5281/ZENODO.5115765},
  edition = {v0.2.0}
}

@article{humphreySystematicDebuggingMethods2014,
  title = {Systematic {{Debugging Methods}} for {{Large-Scale HPC Computational Frameworks}}},
  author = {Humphrey, Alan and Meng, Qingyu and Berzins, Martin and De Oliveira, Diego Caminha B. and Rakamaric, Zvonimir and Gopalakrishnan, Ganesh},
  year = {2014},
  journal = {Computing in Science \& Engineering},
  volume = {16},
  number = {3},
  pages = {48--56},
  publisher = {{IEEE}},
  doi = {10.1109/MCSE.2014.11},
}

@inproceedings{panchekhaAutomaticallyImprovingAccuracy2015,
  title = {Automatically Improving Accuracy for Floating Point Expressions},
  author = {Panchekha, Pavel and Sanchez-Stern, Alex and Wilcox, James R. and Tatlock, Zachary},
  booktitle = {{{PLDI}}},
  pages = {1--11},
  publisher = {{ACM}},
  doi = {10.1145/2737924.2737959},
  year = {2015}
}

@inproceedings{misbackOdysseyInteractiveWorkbench2023,
  author = {Misback, Edward and Chan, Caleb C. and Saiki, Brett and Jun, Eunice and Tatlock, Zachary and Panchekha, Pavel},
  title = {{Odyssey}: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting},
  publisher = {{ACM}},
  doi = {10.1145/3586183.3606819},
  booktitle = {{UIST}},
  pages = {77:1--77:15},
  year = {2023}
}

@inproceedings{arnoldStackTraceAnalysis2007,
  title = {Stack {{Trace Analysis}} for {{Large Scale Debugging}}},
  booktitle = {{IPDPS}},
  publisher={{IEEE}},
  author = {Arnold, Dorian C. and Ahn, Dong H. and de Supinski, Bronis R. and Lee, Gregory L. and Miller, Barton P. and Schulz, Martin},
  pages = {1--10},
  doi = {10.1109/IPDPS.2007.370254},
  year = {2007}
}

@article{houghIEEEStandard7542019,
  title = {The {{IEEE Standard}} 754: {{One}} for the {{History Books}}},
  author = {Hough, David G.},
  journaltitle = {Computer},
  volume = {52},
  number = {12},
  pages = {109--112},
  doi = {10.1109/MC.2019.2926614},
  year = {2019}
}

@inproceedings{dindaSpyingFloatingPoint2020,
  title = {Spying on the {{Floating Point Behavior}} of {{Existing}}, {{Unmodified Scientific Applications}}},
  author = {Dinda, Peter and Bernat, Alex and Hetland, Conor},
  pages = {5--16},
  publisher = {{ACM}},
  doi = {10.1145/3369583.3392673},
  booktitle = {{HPDC}},
  year = {2020}
}

@book{mullerHandbookFloatingPointArithmetic2018,
  title = {Handbook of {{Floating-Point Arithmetic}}},
  author = {Muller, Jean-Michel and Brunie, Nicolas and De Dinechin, Florent and Jeannerod, Claude-Pierre and Joldes, Mioara and Lefèvre, Vincent and Melquiond, Guillaume and Revol, Nathalie and Torres, Serge},
  publisher = {{Springer}},
  doi = {10.1007/978-3-319-76526-6},
  year = {2018}
}

@article{fp8,
  author       = {Paulius Micikevicius and Dusan Stosic and Neil Burgess and Marius Cornea and Pradeep Dubey and Richard Grisenthwaite and Sangwon Ha and Alexander Heinecke and Patrick Judd and John Kamalu and Naveen Mellempudi and Stuart F. Oberman and Mohammad Shoeybi and Michael Y. Siu and Hao Wu},
  title        = {{FP8} Formats for Deep Learning},
  journal      = {CoRR},
  volume       = {abs/2209.05433},
  doi          = {10.48550/arXiv.2209.05433},
  year         = {2022}
}

@misc{p3109,
  title={{IEEE} Working Group {P3109} Interim Report on 8-bit Binary Floating-point Formats},
  author={{P3109}},
  note={\url{https://github.com/P3109/Public/blob/main/Shared%20Reports/P3109%20WG%20Interim%20Report.pdf}, Accessed 2024-04-16},
  year={2024}
}