{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T04:11:14Z","timestamp":1768450274604,"version":"3.49.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2021,1,25]],"date-time":"2021-01-25T00:00:00Z","timestamp":1611532800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2021,1,25]]},"abstract":"<jats:p>An approach to reproducibility problems related to porting software across machines and compilers.<\/jats:p>","DOI":"10.1145\/3382037","type":"journal-article","created":{"date-parts":[[2021,1,25]],"date-time":"2021-01-25T09:54:12Z","timestamp":1611568452000},"page":"66-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Keeping science on keel when software moves"],"prefix":"10.1145","volume":"64","author":[{"given":"Dong H.","family":"Ahn","sequence":"first","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allison H.","family":"Baker","sequence":"additional","affiliation":[{"name":"National Center for Atmospheric Research, Boulder, CO"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Bentley","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Briggs","sequence":"additional","affiliation":[{"name":"University of Utah, UT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dorit M.","family":"Hammerling","sequence":"additional","affiliation":[{"name":"Colorado School of Mines, Golden, CO"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignacio","family":"Laguna","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory L.","family":"Lee","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel J.","family":"Milroy","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariana","family":"Vertenstein","sequence":"additional","affiliation":[{"name":"National Center for Atmospheric Research, Boulder, CO"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,1,25]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5194\/gmd-8-2829"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5194\/gmd9-2391-2016"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3145344.3145491"},{"key":"e_1_2_1_4_1","volume-title":"FLiT Repository","author":"Bentley M.","year":"2019","unstructured":"Bentley M. and Briggs, I. FLiT Repository, 2019; https:\/\/github.com\/PRUNERS\/FLiT.git"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307681.3325960"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009846"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.117"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2812803"},{"key":"e_1_2_1_9_1","volume-title":"The Compcert Project","author":"Compcert","year":"2019","unstructured":"Compcert. The Compcert Project, 2019; http:\/\/www.compcert.inria.fr"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.141"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5194\/gmd-9-1937-2016"},{"key":"e_1_2_1_12_1","unstructured":"fpanalysistools.org. Tutorial on Floating-Point Analysis Tools; http:\/\/fpanalysistools.org\/"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1175\/BAMS-D-12-00121.1"},{"key":"e_1_2_1_14_1","volume-title":"Revision 1.0","author":"Intel","year":"2018","unstructured":"Intel. BFLOAT16---Hardware Numerics. White Paper, Document Number: 338302-001US, Revision 1.0, 2018; https:\/\/intel.ly\/36IJ37r."},{"key":"e_1_2_1_15_1","unstructured":"IPCC 2019. Intergovernmental Panel on Climate Change; http:\/\/www.ipcc.ch\/about."},{"key":"e_1_2_1_16_1","volume-title":"et al. Standing Together for Reproducibility in Large-Scale Computing: Report on reproducibility@XSEDE. CoRR abs\/1412.5557","author":"James D.","year":"2014","unstructured":"James, D. et al. Standing Together for Reproducibility in Large-Scale Computing: Report on reproducibility@XSEDE. CoRR abs\/1412.5557 (2014), 16. arXiv:1412.5557; http:\/\/arxiv.org\/abs\/1412.5557."},{"key":"e_1_2_1_17_1","unstructured":"Kahan W. Lecture notes on the status of IEEE Standard 754 for binary floating-point arithmetic 1997; https:\/\/people.eecs.berkeley.edu\/~wkahan\/ieee754status\/IEEE754.PDF"},{"key":"e_1_2_1_18_1","unstructured":"Kahan W. How futile are mindless assessments of roundoff in floating-point computation? 2006; https:\/\/people.eecs.berkeley.edu\/~wkahan\/Mindless.pdf"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.05.466"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2018.00051"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5194\/gmd-11-697-2018"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307681.3325399"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5194\/gmd-5-1009-2012"},{"key":"e_1_2_1_24_1","volume-title":"FLiT and ReMPI Projects page","author":"PRUNERS.","year":"2019","unstructured":"PRUNERS. FLiT and ReMPI Projects page, 2019; https:\/\/pruners.github.io\/flit\/"},{"key":"e_1_2_1_25_1","volume-title":"Handbook of Satisfiability","author":"Biere A.","year":"2008","unstructured":"Biere, A., Huele, M., van Maaren, H. and Walsh, T. Handbook of Satisfiability. IOS Press, 2008."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2018.8464813"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1002\/2014MS000363"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230733"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382037","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3382037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T16:55:43Z","timestamp":1768409743000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,25]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,1,25]]}},"alternative-id":["10.1145\/3382037"],"URL":"https:\/\/doi.org\/10.1145\/3382037","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,25]]},"assertion":[{"value":"2021-01-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}