{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T23:20:33Z","timestamp":1777591233201,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,17]],"date-time":"2013-11-17T00:00:00Z","timestamp":1384646400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100004682","name":"Oracle","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004682","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006192","name":"Advanced Scientific Computing Research","doi-asserted-by":"publisher","award":["DE-SC0008699"],"award-info":[{"award-number":["DE-SC0008699"]}],"id":[{"id":"10.13039\/100006192","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,11,17]]},"DOI":"10.1145\/2503210.2503296","type":"proceedings-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T12:55:22Z","timestamp":1383137722000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":226,"title":["Precimonious"],"prefix":"10.1145","author":[{"given":"Cindy","family":"Rubio-Gonz\u00e1lez","sequence":"first","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cuong","family":"Nguyen","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong Diep","family":"Nguyen","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Demmel","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Kahan","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[{"name":"UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David H.","family":"Bailey","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Costin","family":"Iancu","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Hough","sequence":"additional","affiliation":[{"name":"Oracle Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,11,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Fpinst: Floating point error analysis using dyninst","author":"An D.","year":"2008","unstructured":"D. An , R. Blue , M. Lam , S. Piper , and G. Stoker . Fpinst: Floating point error analysis using dyninst , 2008 . URL http:\/\/www.freearrow.com\/downloads\/files\/fpinst.pdf. D. An, R. Blue, M. Lam, S. Piper, and G. Stoker. Fpinst: Floating point error analysis using dyninst, 2008. URL http:\/\/www.freearrow.com\/downloads\/files\/fpinst.pdf."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2008.11.005"},{"key":"e_1_3_2_1_3_1","volume-title":"Resolving numerical anomalies in scientific computation","author":"Bailey D. H.","year":"2008","unstructured":"D. H. Bailey . Resolving numerical anomalies in scientific computation , 2008 . URL http:\/\/www.davidhbailey.com\/dhbpapers\/numerical-bugs.pdf. D. H. Bailey. Resolving numerical anomalies in scientific computation, 2008. URL http:\/\/www.davidhbailey.com\/dhbpapers\/numerical-bugs.pdf."},{"key":"e_1_3_2_1_4_1","volume-title":"The NAS Parallel Benchmarks 2.0","author":"Bailey D. H.","year":"1995","unstructured":"D. H. Bailey , T. Harris , W. Saphir , R. van der Wijngaart , A. Woo , and M. Yarrow . The NAS Parallel Benchmarks 2.0 , 1995 . D. H. Bailey, T. Harris, W. Saphir, R. van der Wijngaart, A. Woo, and M. Yarrow. The NAS Parallel Benchmarks 2.0, 1995."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/263580.263662"},{"key":"e_1_3_2_1_8_1","first-page":"6","volume-title":"Proceedings of the 1st HiPEAC Workshop on Reconfigurable Computing","author":"Brown A. W.","year":"2007","unstructured":"A. W. Brown , P. H. J. Kelly , and W. Luk . Profiling floating point value ranges for reconfigurable implementation . In Proceedings of the 1st HiPEAC Workshop on Reconfigurable Computing , pages 6 -- 16 , 2007 . A. W. Brown, P. H. J. Kelly, and W. Luk. Profiling floating point value ranges for reconfigurable implementation. In Proceedings of the 1st HiPEAC Workshop on Reconfigurable Computing, pages 6--16, 2007."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377596.1377597"},{"key":"e_1_3_2_1_10_1","unstructured":"G. P. Contributors. GSL - GNU scientific library - GNU project - free software foundation (FSF). http:\/\/www.gnu.org\/software\/gsl\/ 2010. URL http:\/\/www.gnu.org\/software\/gsl\/.  G. P. Contributors. GSL - GNU scientific library - GNU project - free software foundation (FSF). http:\/\/www.gnu.org\/software\/gsl\/ 2010. URL http:\/\/www.gnu.org\/software\/gsl\/."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048094"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.128"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04570-7_6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301661"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_2_1_16_1","first-page":"155","volume-title":"Proceedings of the 15th IEEE Symposium on Computer Arithmetic, ARITH '01","author":"Hida Y.","unstructured":"Y. Hida , X. S. Li , and D. H. Bailey . Algorithms for quad-double precision floating point arithmetic . In Proceedings of the 15th IEEE Symposium on Computer Arithmetic, ARITH '01 , pages 155 --, Washington, DC, USA, 2001. IEEE Computer Society. URL http:\/\/dl.acm.org\/citation.cfm?id=872021.872445. Y. Hida, X. S. Li, and D. H. Bailey. Algorithms for quad-double precision floating point arithmetic. In Proceedings of the 15th IEEE Symposium on Computer Arithmetic, ARITH '01, pages 155--, Washington, DC, USA, 2001. IEEE Computer Society. URL http:\/\/dl.acm.org\/citation.cfm?id=872021.872445."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718027","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"Higham N. J.","year":"2002","unstructured":"N. J. Higham . Accuracy and Stability of Numerical Algorithms . Society for Industrial and Applied Mathematics , Philadelphia, PA, USA , second edition, 2002 . N. J. Higham. Accuracy and Stability of Numerical Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, second edition, 2002."},{"key":"e_1_3_2_1_18_1","volume-title":"A Mathematical Curiosity","author":"Kahan W.","year":"2013","unstructured":"W. Kahan . A Mathematical Curiosity , 2013 . W. Kahan. A Mathematical Curiosity, 2013."},{"key":"e_1_3_2_1_19_1","volume-title":"1st International Workshop on High-performance Infrastructure for Scalable Tools","author":"Lam M. O.","year":"2011","unstructured":"M. O. Lam , J. K. Hollingsworth , and G. W. Stewart . Dynamic floating-point cancellation detection . In 1st International Workshop on High-performance Infrastructure for Scalable Tools , 2011 . M. O. Lam, J. K. Hollingsworth, and G. W. Stewart. Dynamic floating-point cancellation detection. In 1st International Workshop on High-performance Infrastructure for Scalable Tools, 2011."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2465018"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/567806.567808"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840306"},{"key":"e_1_3_2_1_24_1","volume-title":"Mar.","author":"Ravitch T.","year":"2011","unstructured":"T. Ravitch . LLVM Whole-Program Wrapper @ONLINE , Mar. 2011 . URL https:\/\/github.com\/travitch\/whole-program-llvm. T. Ravitch. LLVM Whole-Program Wrapper @ONLINE, Mar. 2011. URL https:\/\/github.com\/travitch\/whole-program-llvm."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_26_1","first-page":"2008","article-title":"IEEE Standard for Floating-Point Arithmetic","author":"I. C. Society","year":"2008","unstructured":"I. C. Society . IEEE Standard for Floating-Point Arithmetic , IEEE Standard 754-- 2008 , Aug. 2008 . URL http:\/\/ieeexplore.ieee.org\/xpl\/freeabs_all.jsp?arnumber=4610935. I. C. Society. IEEE Standard for Floating-Point Arithmetic, IEEE Standard 754--2008, Aug. 2008. URL http:\/\/ieeexplore.ieee.org\/xpl\/freeabs_all.jsp?arnumber=4610935.","journal-title":"IEEE Standard 754--"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/16\/1\/071"},{"key":"e_1_3_2_1_28_1","volume-title":"Automatically Tuned Linear Algebra Software (ATLAS). math-atlas.sourceforge.net","author":"Whaley C.","year":"2012","unstructured":"C. Whaley . Automatically Tuned Linear Algebra Software (ATLAS). math-atlas.sourceforge.net , 2012 . C. Whaley. Automatically Tuned Linear Algebra Software (ATLAS). math-atlas.sourceforge.net, 2012."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"SC13: International Conference for High Performance Computing, Networking, Storage and Analysis","location":"Denver Colorado","acronym":"SC13","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","SIGARCH ACM Special Interest Group on Computer Architecture","IEEE-CS Computer Society"]},"container-title":["Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2503210.2503296","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2503210.2503296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:21Z","timestamp":1750231701000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2503210.2503296"}},"subtitle":["tuning assistant for floating-point precision"],"short-title":[],"issued":{"date-parts":[[2013,11,17]]},"references-count":29,"alternative-id":["10.1145\/2503210.2503296","10.1145\/2503210"],"URL":"https:\/\/doi.org\/10.1145\/2503210.2503296","relation":{},"subject":[],"published":{"date-parts":[[2013,11,17]]},"assertion":[{"value":"2013-11-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}