{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:42Z","timestamp":1772164062870,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,23]],"date-time":"2015-10-23T00:00:00Z","timestamp":1445558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["0845870, 1320444"],"award-info":[{"award-number":["0845870, 1320444"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,23]]},"DOI":"10.1145\/2814270.2814299","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T16:04:33Z","timestamp":1446480273000},"page":"623-638","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["RAIVE: runtime assessment of floating-point instability by vectorization"],"prefix":"10.1145","author":[{"given":"Wen-Chuan","family":"Lee","sequence":"first","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Bao","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunhui","family":"Zheng","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keval","family":"Vora","sequence":"additional","affiliation":[{"name":"University of California at Riverside, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajiv","family":"Gupta","sequence":"additional","affiliation":[{"name":"University of California at Riverside, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,23]]},"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 . D. An, R. Blue, M. Lam, S. Piper, and G. Stoker. Fpinst: Floating point error analysis using dyninst. 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509526"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384681"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541958"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025131"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"e_1_3_2_1_9_1","unstructured":"P. Cousot R. Cousot J. Feret L. Mauborgne A. Min\u00e9 D. Monniaux and X. Rival. The ASTR \u00c9E Analyzer. In ESOP \u201805.  P. Cousot R. Cousot J. Feret L. Mauborgne A. Min\u00e9 D. Monniaux and X. Rival. The ASTR \u00c9E Analyzer. In ESOP \u201805."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048094"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535874"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049462.70970.b6"},{"key":"e_1_3_2_1_13_1","unstructured":"M. de Hoon. Cluster 3.0. http:\/\/bonsai.hgc.jp\/ \u02dcmdehoon\/software\/cluster\/software.htm.  M. de Hoon. Cluster 3.0. http:\/\/bonsai.hgc.jp\/ \u02dcmdehoon\/software\/cluster\/software.htm."},{"key":"e_1_3_2_1_14_1","volume-title":"Stanford InfoLab","author":"Pages L.","year":"1999","unstructured":"L. Pages , S. Brin , R. Motwani , and T . Winograd . The pagerank citation ranking: Bringing order to the web. Technical report , Stanford InfoLab , 1999 . L. Pages, S. Brin, R. Motwani, and T .Winograd. The pagerank citation ranking: Bringing order to the web. Technical report, Stanford InfoLab, 1999."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04570-7_6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141584"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2003.1202428"},{"key":"e_1_3_2_1_18_1","unstructured":"E. Goubault and S. Putot. Static analysis of finite precision computations. In VMCAI\u201911.   E. Goubault and S. Putot. Static analysis of finite precision computations. In VMCAI\u201911."},{"key":"e_1_3_2_1_19_1","volume-title":"Standard for Floating-Point Arithmetic","author":"IEEE","year":"2008","unstructured":"IEEE Task P754. IEEE 754-2008 , Standard for Floating-Point Arithmetic . 2008 . IEEE Task P754. IEEE 754-2008, Standard for Floating-Point Arithmetic. 2008."},{"key":"e_1_3_2_1_20_1","volume-title":"Intel R 64 and IA-32 Architectures Optimization Reference Manual. Number 248966-028","author":"Intel Corporation","year":"2013","unstructured":"Intel Corporation . Intel R 64 and IA-32 Architectures Optimization Reference Manual. Number 248966-028 . July 2013 . Intel Corporation. Intel R 64 and IA-32 Architectures Optimization Reference Manual. Number 248966-028. July 2013."},{"key":"e_1_3_2_1_21_1","volume-title":"Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics","author":"Jaulin L.","year":"2012","unstructured":"L. Jaulin , M. Kieffer , O. Didrit , and E. Walter . Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics . Springer-Verlag New York Incorporated , 2012 . L. Jaulin, M. Kieffer, O. Didrit, and E. Walter. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics. Springer-Verlag New York Incorporated, 2012."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2012.08.002"},{"key":"e_1_3_2_1_23_1","unstructured":"M. Martel. Propagation of roundoff errors in finite precision computations: A semantics approach. In ESOP \u201902.   M. Martel. Propagation of roundoff errors in finite precision computations: A semantics approach. In ESOP \u201902."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2005.25"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353446"},{"key":"e_1_3_2_1_26_1","volume-title":"Interval analysis","author":"Moore R.","year":"1966","unstructured":"R. Moore . Interval analysis . Prentice-Hall series in automatic computation. Prentice-Hall , 1966 . R. Moore. Interval analysis. Prentice-Hall series in automatic computation. Prentice-Hall, 1966."},{"key":"e_1_3_2_1_27_1","unstructured":"C. Rubio-Gonz\u00e1lez C. Nguyen H. D. Nguyen J. Demmel W. Kahan K. Sen D. H. Bailey C. Iancu and D. Hough. Precimonious: Tuning assistant for floating-point precision. In SC \u201913.  C. Rubio-Gonz\u00e1lez C. Nguyen H. D. Nguyen J. Demmel W. Kahan K. Sen D. H. Bailey C. Iancu and D. Hough. Precimonious: Tuning assistant for floating-point precision. In SC \u201913."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462179"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831724"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Pittsburgh PA USA","acronym":"SPLASH '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814299","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814270.2814299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:48:41Z","timestamp":1750211321000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814299"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,23]]},"references-count":29,"alternative-id":["10.1145\/2814270.2814299","10.1145\/2814270"],"URL":"https:\/\/doi.org\/10.1145\/2814270.2814299","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858965.2814299","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,10,23]]},"assertion":[{"value":"2015-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}