{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:22:18Z","timestamp":1770279738126,"version":"3.49.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/iiswc.2017.8167780","type":"proceedings-article","created":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T23:28:15Z","timestamp":1512689295000},"page":"229-238","source":"Crossref","is-referenced-by-count":16,"title":["FLiT: Cross-platform floating-point result-consistency tester and workload"],"prefix":"10.1109","author":[{"given":"Geof","family":"Sawaya","sequence":"first","affiliation":[]},{"given":"Michael","family":"Bentley","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Briggs","sequence":"additional","affiliation":[]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[]},{"given":"Dong H.","family":"Ahn","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"knuth","year":"1998","journal-title":"The Art of Computer Programming Seminumerical Algorithms"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"key":"ref12","author":"yablonski","year":"2011","journal-title":"Numerical Accuracy Differences in CPU and GPGPU Codes"},{"key":"ref13","article-title":"Precision & performance: Floating point and ieee 754 compliance for nvidia gpus","author":"whitehead","year":"2012","journal-title":"presented at GTC"},{"key":"ref14","author":"leeser","year":"2016","journal-title":"Panel on reproducibility at sc'16"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2010.5470481"},{"key":"ref16","first-page":"1","article-title":"Make it real: Effective floating-point reasoning via exact arithmetic","author":"leeser","year":"2014","journal-title":"DATE 2014"},{"key":"ref17","author":"seiler","year":"2008"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.05.466"},{"key":"ref19","first-page":"28292840","author":"baker","year":"2015","journal-title":"A new ensemble-based consistency test for the community earth system model"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"ref6","article-title":"Deductive formal verification: How to make your floating-point programs behave","author":"boldo","year":"2014","journal-title":"Thèse d'habilitation Universitè Paris-Sud"},{"key":"ref5","year":"2015","journal-title":"Intel Architecture Instruction Set Extensions Programming Reference"},{"key":"ref8","article-title":"Microsoft visual c++ floating-point optimization","author":"fleegal","year":"2004","journal-title":"Microsoft Corp"},{"key":"ref7","year":"2006","journal-title":"Gram-Schmidt Process"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2484762.2484779"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.05.489"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009321"},{"key":"ref20","article-title":"Consistency of floating-point results using the intel compiler or why doesnt my application always give the same answer","author":"corden","year":"2009","journal-title":"Technical report Intel Corporation Software Solutions Group Tech Rep"},{"key":"ref22","author":"bailey","year":"2013","journal-title":"High-precision arithmetic Progress and challenges"},{"key":"ref21","author":"kahan","year":"2004","journal-title":"How Java's Floating-point Hurts Everyone Everywhere"},{"key":"ref24","volume":"80","author":"connolly","year":"2016","journal-title":"International Conference on Computational Science 2016 ICCS 2016"},{"key":"ref23","year":"2016","journal-title":"The GNU MPFR Library"}],"event":{"name":"2017 IEEE International Symposium on Workload Characterization (IISWC)","location":"Seattle, WA","start":{"date-parts":[[2017,10,1]]},"end":{"date-parts":[[2017,10,3]]}},"container-title":["2017 IEEE International Symposium on Workload Characterization (IISWC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8122074\/8167743\/08167780.pdf?arnumber=8167780","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,15]],"date-time":"2018-01-15T22:46:45Z","timestamp":1516056405000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8167780\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/iiswc.2017.8167780","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}