{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:18Z","timestamp":1750306098755,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T00:00:00Z","timestamp":1497225600000},"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":[[2017,6,12]]},"DOI":"10.1145\/3078659.3078662","type":"proceedings-article","created":{"date-parts":[[2017,5,17]],"date-time":"2017-05-17T17:55:06Z","timestamp":1495043706000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Numerical Accuracy Improvement by Interprocedural Program Transformation"],"prefix":"10.1145","author":[{"given":"Nasrine","family":"Damouche","sequence":"first","affiliation":[{"name":"LAMPS Laboratory, Universit\u00e9 de Perpignan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Martel","sequence":"additional","affiliation":[{"name":"LAMPS Laboratory, Universit\u00e9 de Perpignan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Chapoutot","sequence":"additional","affiliation":[{"name":"U2IS, ENSTA ParisTech, Universit\u00e9 de Paris-Saclay"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"IEEE Standard for Binary Floating-Point Arithmetic","author":"IEEE.","year":"2008","unstructured":"ANSI\/ IEEE. IEEE Standard for Binary Floating-Point Arithmetic . SIAM , 2008 . ANSI\/IEEE. IEEE Standard for Binary Floating-Point Arithmetic. SIAM, 2008."},{"key":"e_1_3_2_1_2_1","volume-title":"PID Controllers","author":"\u00c5str\u00f6m K. J.","year":"1995","unstructured":"K. J. \u00c5str\u00f6m and T. Hagglund . PID Controllers , 2 nd ed. Instrument Society of America , 1995 . K. J. \u00c5str\u00f6m and T. Hagglund. PID Controllers, 2nd ed. Instrument Society of America, 1995.","edition":"2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921553"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503290"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155094"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"31","volume-title":"FMICS'15","author":"Damouche N.","year":"2015","unstructured":"N. Damouche , M. Martel , and A. Chapoutot . Intra-procedural optimization of the numerical accuracy of programs . In FMICS'15 , volume 9128 of LNCS , pages 31 -- 46 . Springer , 2015 . N. Damouche, M. Martel, and A. Chapoutot. Intra-procedural optimization of the numerical accuracy of programs. In FMICS'15, volume 9128 of LNCS, pages 31--46. Springer, 2015."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoDIT.2016.7593626"},{"key":"e_1_3_2_1_9_1","volume-title":"STTT","author":"Damouche N.","year":"2016","unstructured":"N. Damouche , M. Martel , and A. Chapoutot . Improving the numerical accuracy of programs by automatic transformation . STTT , 2016 . N. Damouche, M. Martel, and A. Chapoutot. Improving the numerical accuracy of programs by automatic transformation. STTT, 2016."},{"key":"e_1_3_2_1_10_1","volume-title":"NSV'16","author":"Damouche N.","year":"2016","unstructured":"N. Damouche , M. Martel , P. Panchekha , C. Qiu , A. Sanchez-Stern , and Z. Tatlock . Toward a standard benchmark format and suite for floating-point analysis . In NSV'16 , LNCS. Springer , 2016 . N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, and Z. Tatlock. Toward a standard benchmark format and suite for floating-point analysis. In NSV'16, LNCS. Springer, 2016."},{"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.1007\/978-3-642-04570-7_6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06200-6_19"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","first-page":"1","volume-title":"SAS","author":"Goubault E.","year":"2013","unstructured":"E. Goubault . Static analysis by abstract interpretation of numerical programs and systems, and FLUCTUAT . In SAS , volume 7935 of LNCS , pages 1 -- 3 . Springer , 2013 . E. Goubault. Static analysis by abstract interpretation of numerical programs and systems, and FLUCTUAT. In SAS, volume 7935 of LNCS, pages 1--3. Springer, 2013."},{"key":"e_1_3_2_1_16_1","volume-title":"ERTS","author":"Goubault E.","year":"2006","unstructured":"E. Goubault , M. Martel , and S. Putot . Some future challenges in the validation of control systems . In ERTS , 2006 . E. Goubault, M. Martel, and S. Putot. Some future challenges in the validation of control systems. In ERTS, 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538417.001.0001","volume-title":"Lambda Calculi A Guide For Computer Scientists","author":"Hankin E.","year":"1994","unstructured":"E. Hankin . Lambda Calculi A Guide For Computer Scientists . Clarendon Press , Oxford , 1994 . E. Hankin. Lambda Calculi A Guide For Computer Scientists. Clarendon Press, Oxford, 1994."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_8"},{"key":"e_1_3_2_1_19_1","volume-title":"An Introduction to Numerical Analysis","author":"K.","year":"1989","unstructured":"Atkinson K. An Introduction to Numerical Analysis . J. Wiley & Sons , 1989 . Atkinson K. An Introduction to Numerical Analysis. J. Wiley & Sons, 1989."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8608-2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1823389"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00072-2"},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","first-page":"532","volume-title":"FM","author":"Solovyev A.","year":"2015","unstructured":"A. Solovyev , C. Jacobsen , Z. Rakamaric , and G. Gopalakrishnan . Rigorous estimation of floating-point round-off errors with symbolic taylor expansions . In FM , volume 9109 of LNCS , pages 532 -- 550 . Springer , 2015 . A. Solovyev, C. Jacobsen, Z. Rakamaric, and G. Gopalakrishnan. Rigorous estimation of floating-point round-off errors with symbolic taylor expansions. In FM, volume 9109 of LNCS, pages 532--550. Springer, 2015."},{"key":"e_1_3_2_1_25_1","volume-title":"Equality saturation: A new approach to optimization. Logical Methods in Computer Science, 7(1)","author":"Tate R.","year":"2011","unstructured":"R. Tate , M. Stepp , Z. Tatlock , and S. Lerner . Equality saturation: A new approach to optimization. Logical Methods in Computer Science, 7(1) , 2011 . R. Tate, M. Stepp, Z. Tatlock, and S. Lerner. Equality saturation: A new approach to optimization. Logical Methods in Computer Science, 7(1), 2011."}],"event":{"name":"SCOPES '17: 20th International Workshop on Software and Compilers for Embedded Systems","sponsor":["EDAA European Design Automation Association","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Sankt Goar Germany","acronym":"SCOPES '17"},"container-title":["Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3078659.3078662","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3078659.3078662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:31Z","timestamp":1750217431000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3078659.3078662"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,12]]},"references-count":25,"alternative-id":["10.1145\/3078659.3078662","10.1145\/3078659"],"URL":"https:\/\/doi.org\/10.1145\/3078659.3078662","relation":{},"subject":[],"published":{"date-parts":[[2017,6,12]]},"assertion":[{"value":"2017-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}