{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:23:29Z","timestamp":1752549809881,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/arith.2018.8464687","type":"proceedings-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T22:06:04Z","timestamp":1537221964000},"page":"61-68","source":"Crossref","is-referenced-by-count":7,"title":["VeriTracer: Context-enriched tracer for floating-point arithmetic analysis"],"prefix":"10.1109","author":[{"given":"Yohan","family":"Chatelain","sequence":"first","affiliation":[]},{"given":"Pablo","family":"De Oliveira Castro","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Petit","sequence":"additional","affiliation":[]},{"given":"David","family":"Defour","sequence":"additional","affiliation":[]},{"given":"Jordan","family":"Bieder","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Torrent","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/587052.587053"},{"key":"ref11","first-page":"55","article-title":"Verifi-carlo: checking floating point accuracy through monte carlo arithmetic","author":"denis","year":"2016","journal-title":"IEEE 23nd Symposium on Computer Arithmetic (ARITH)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254118"},{"journal-title":"Finding root causes of floating point error with herbgrind","year":"2017","author":"sanchez-stern","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2012.08.002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/1094342006064482"},{"key":"ref16","article-title":"VTune performance analyzer essentials","author":"reinders","year":"0","journal-title":"Intel Press 2005"},{"key":"ref17","first-page":"17","article-title":"Par-aver: A tool to visualize and analyze parallel code","volume":"44","author":"pillet","year":"1995","journal-title":"Proceedings of WoTUG-18 Transputer and occam Developments"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68564-7_9"},{"key":"ref19","article-title":"Maqao: Modular assembler quality analyzer and optimizer for itanium 2","volume":"200","author":"djoudi","year":"2005","journal-title":"The 4th Workshop on EPIC architectures and compiler technology San Jose"},{"journal-title":"Monte Carlo Arithmetic exploiting randomness in floating-point arithmetic University of California Computer Science Department","year":"1997","author":"parker","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-80350-5_37"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049483.75679.ce"},{"key":"ref5","first-page":"1","article-title":"IEEE standard for floating-point arithmetic","author":"zuras","year":"2008","journal-title":"IEEE Std 754–2008"},{"key":"ref8","first-page":"47","article-title":"VERROU: a CESTAC evaluation without recompilation","author":"f\u00e9votte","year":"2016","journal-title":"SCAN 2016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2008.02.003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2016.04.003"},{"key":"ref9","article-title":"Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic","author":"graillat","year":"2016","journal-title":"working paper or preprint"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"journal-title":"American Fuzzy Lop","year":"2015","author":"zalewski","key":"ref22"},{"key":"ref21","first-page":"309","article-title":"AddressSanitizer: A Fast Address Sanity Checker","author":"serebryany","year":"2012","journal-title":"USENIX Annual Technical Conference"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/030601818"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"journal-title":"LibEFT a library implementing Error-Free transformations","year":"2017","author":"f\u00e9votte","key":"ref26"},{"key":"ref25","article-title":"The art of computer programming","volume":"2","author":"knuth","year":"1997","journal-title":"Seminumerical Algorithms 3rd Ed"}],"event":{"name":"2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)","start":{"date-parts":[[2018,6,25]]},"location":"Amherst, MA, USA","end":{"date-parts":[[2018,6,27]]}},"container-title":["2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8452530\/8464686\/08464687.pdf?arnumber=8464687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T11:26:47Z","timestamp":1643196407000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8464687\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/arith.2018.8464687","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}