{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:18Z","timestamp":1772164038411,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T00:00:00Z","timestamp":1383004800000},"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":[],"published-print":{"date-parts":[[2013,10,29]]},"DOI":"10.1145\/2509136.2509526","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:29:17Z","timestamp":1382527757000},"page":"817-832","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["On-the-fly detection of instability problems in floating-point program execution"],"prefix":"10.1145","author":[{"given":"Tao","family":"Bao","sequence":"first","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"FPInst: Floating Point Error Analysis Using Dyninst","author":"An David","year":"2008","unstructured":"David An , Ryan Blue , Michael Lam , Scott Piper , and Geoff Stoker . FPInst: Floating Point Error Analysis Using Dyninst . 2008 . David An, Ryan Blue, Michael Lam, Scott Piper, and Geoff Stoker. FPInst: Floating Point Error Analysis Using Dyninst. 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384681"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2007.20"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706308"},{"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\/1289927.1289932"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"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.1023\/B:NUMA.0000049462.70970.b6"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04570-7_6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2003.1202428"},{"key":"e_1_3_2_1_14_1","volume-title":"Goubault. Static Analyses of the Precision of Floating- Point Operations. In SAS '01","author":"Eric","unstructured":"Eric Goubault. Static Analyses of the Precision of Floating- Point Operations. In SAS '01 . Eric Goubault. Static Analyses of the Precision of Floating- Point Operations. In SAS '01."},{"key":"e_1_3_2_1_15_1","volume-title":"Goubault and Sylvie Putot. Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. In SAS '07","author":"Eric","unstructured":"Eric Goubault and Sylvie Putot. Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. In SAS '07 . Eric Goubault and Sylvie Putot. Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. In SAS '07."},{"key":"e_1_3_2_1_16_1","volume-title":"Goubault and Sylvie Putot. Static Analysis of Finite Precision Computations. In VMCAI '11","author":"Eric","unstructured":"Eric Goubault and Sylvie Putot. Static Analysis of Finite Precision Computations. In VMCAI '11 . Eric Goubault and Sylvie Putot. Static Analysis of Finite Precision Computations. In VMCAI '11."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566203"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227701"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2005.11.017"},{"key":"e_1_3_2_1_20_1","volume-title":"Standard for Floating-Point Arithmetic","author":"IEEE","year":"2008","unstructured":"IEEE Task P754. IEEE 754-2008 , Standard for Floating-Point Arithmetic . August 2008 . IEEE Task P754. IEEE 754-2008, Standard for Floating-Point Arithmetic. August 2008."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2008.02.003"},{"key":"e_1_3_2_1_23_1","volume-title":"How futile are mindless assessments of roundoff in floating-point computation?","author":"Kahan William","year":"2006","unstructured":"William Kahan . How futile are mindless assessments of roundoff in floating-point computation? 2006 . William Kahan. How futile are mindless assessments of roundoff in floating-point computation? 2006."},{"key":"e_1_3_2_1_24_1","volume-title":"Xavier Rival. Astr\u00e9e: Proving the Absence of Runtime Errors. In ERTSS '10","author":"K\u00e4stner Daniel","year":"2010","unstructured":"Daniel K\u00e4stner , Stephan Wilhelm , Stefana Nenova , Patrick Cousot , Radhia Cousot , J\u00e9r\u00f4me Feret , Antoine Min\u00f4 , Laurent Mauborgne , and Xavier Rival. Astr\u00e9e: Proving the Absence of Runtime Errors. In ERTSS '10 , 2010 . Daniel K\u00e4stner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot, J\u00e9r\u00f4me Feret, Antoine Min\u00f4, Laurent Mauborgne, and Xavier Rival. Astr\u00e9e: Proving the Absence of Runtime Errors. In ERTSS '10, 2010."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2012.08.002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.17"},{"key":"e_1_3_2_1_27_1","volume-title":"Martel. Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. In ESOP'02","author":"Matthieu","unstructured":"Matthieu Martel. Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. In ESOP'02 . Matthieu Martel. Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. In ESOP'02."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_4"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2005.25"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353446"},{"key":"e_1_3_2_1_31_1","volume-title":"Interval Analysis","author":"Moore R.E.","year":"1966","unstructured":"R.E. Moore . Interval Analysis . Prentice-Hall series in automatic computation. Prentice-Hall , 1966 . R.E. Moore. Interval Analysis. Prentice-Hall series in automatic computation. Prentice-Hall, 1966."},{"key":"e_1_3_2_1_32_1","volume-title":"Saudi Arabia. GAO\/IMTEC-92-26","author":"General Accounting Office U.S.","year":"1992","unstructured":"U.S. General Accounting Office . Patriot Missile Defense: Software Problem Led to System Failure at Dhahran , Saudi Arabia. GAO\/IMTEC-92-26 , Feb 1992 . U.S. General Accounting Office. Patriot Missile Defense: Software Problem Led to System Failure at Dhahran, Saudi Arabia. GAO\/IMTEC-92-26, Feb 1992."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.29"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462179"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831724"}],"event":{"name":"SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Indianapolis Indiana USA","acronym":"SPLASH '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509526","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2509136.2509526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:28:34Z","timestamp":1750217314000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,29]]},"references-count":35,"alternative-id":["10.1145\/2509136.2509526","10.1145\/2509136"],"URL":"https:\/\/doi.org\/10.1145\/2509136.2509526","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544173.2509526","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,10,29]]},"assertion":[{"value":"2013-10-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}