{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:33:47Z","timestamp":1742913227741,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030636173"},{"type":"electronic","value":"9783030636180"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63618-0_13","type":"book-chapter","created":{"date-parts":[[2020,12,5]],"date-time":"2020-12-05T08:04:14Z","timestamp":1607155454000},"page":"213-220","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Numerical Assistants"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Panchekha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zachary","family":"Tatlock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,6]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Benz, F., Hildebrandt, A., Hack, S.: A dynamic program analysis to find floating-point accuracy problems. In: PLDI 2012, pp. 453\u2013462. ACM (2012)","DOI":"10.1145\/2345156.2254118"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Becker, H., Panchekha, P., Darulova, E., Tatlock, Z.: Combining tools for optimization and analysis of floating-point computations. In: FM, pp. 355\u2013363 (2018)","DOI":"10.1007\/978-3-319-95582-7_21"},{"issue":"10","key":"13_CR3","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1145\/2544173.2509526","volume":"48","author":"T Bao","year":"2013","unstructured":"Bao, T., Zhang, X.: On-the-fly detection of instability problems in floating-point program execution. SIGPLAN Not. 48(10), 817\u2013832 (2013)","journal-title":"SIGPLAN Not."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Chiang, W.F., Baranowski, M., Briggs, I., Solovyev, A., Gopalakrishnan, G., Rakamaric, Z.: Rigorous floating-point mixed-precision tuning. In: POPL, pp. 300\u2013315 (2017)","DOI":"10.1145\/3093333.3009846"},{"key":"13_CR5","unstructured":"Cook, J.D.: Software exoskeletons. https:\/\/www.johndcook.com\/blog\/2011\/07\/21\/software-exoskeletons\/. Accessed 5 June 2020"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Claude, M., Rueher, M.: Dedicated search strategies for finding critical counterexamples in programs with floating point computations. In: 2019 IEEE International Conference on Artificial Intelligence Testing (AITest), pp. 138\u2013139 (2019)","DOI":"10.1109\/AITest.2019.00016"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Darulova, E., Horn, E., Sharma, S.: Sound mixed-precision optimization with rewriting. In: ICCPS, pp. 208\u2013219 (2018)","DOI":"10.1109\/ICCPS.2018.00028"},{"key":"13_CR8","unstructured":"Damouche, N., Martel, M.: Salsa: an automatic tool to improve the numerical accuracy of programs. In: AFM (2017)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Damouche, N., Martel, M., Chapoutot, A.: Formal methods for industrial critical systems. In: 20th International Workshop, FMICS 2015, Oslo, Norway, 22\u201323 June 2015, pp. 31\u201346 (2015)","DOI":"10.1007\/978-3-319-19458-5_3"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-319-54292-8_6","volume-title":"Numerical Software Verification","author":"N Damouche","year":"2017","unstructured":"Damouche, N., Martel, M., Panchekha, P., Qiu, C., Sanchez-Stern, A., Tatlock, Z.: Toward a standard benchmark format and suite for floating-point analysis. In: Bogomolov, S., Martel, M., Prabhakar, P. (eds.) NSV 2016. LNCS, vol. 10152, pp. 63\u201377. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-54292-8_6"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-030-25543-5_11","volume-title":"Computer Aided Verification","author":"E Darulova","year":"2019","unstructured":"Darulova, E., Volkova, A.: Sound approximation of programs with elementary functions. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11562, pp. 174\u2013183. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25543-5_11"},{"key":"13_CR12","first-page":"71","volume":"4","author":"J Gustafson","year":"2017","unstructured":"Gustafson, J., Yonemoto, I.: Beating floating point at its own game: Posit arithmetic. Supercomput. Front. Innov. 4, 71\u201386 (2017)","journal-title":"Supercomput. Front. Innov."},{"key":"13_CR13","volume-title":"Numerical Methods for Scientists and Engineers","author":"R Hamming","year":"1987","unstructured":"Hamming, R.: Numerical Methods for Scientists and Engineers, 2nd edn. Dover Publications, New York (1987)","edition":"2"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Izycheva, A., Darulova, E.: On sound relative error bounds for floating-point arithmetic. In: FMCAD, pp. 15\u201322 (2017)","DOI":"10.23919\/FMCAD.2017.8102236"},{"key":"13_CR15","unstructured":"Intel. BFLOAT16 - Hardware Numerics, : White Paper, Document Number: 338302\u2013001US. Revision 1.0"},{"key":"13_CR16","unstructured":"Johnson, J.: Rethinking floating point for deep learning. CoRR, abs\/1811.01721 (2018)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-319-99725-4_15","volume-title":"Static Analysis","author":"M Jacquemin","year":"2018","unstructured":"Jacquemin, M., Putot, S., V\u00e9drine, F.: A reduced product of absolute and relative error bounds for floating-point analysis. In: Podelski, A. (ed.) SAS 2018. LNCS, vol. 11002, pp. 223\u2013242. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99725-4_15"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-319-50508-4_9","volume-title":"Numbers and Computers","author":"RT Kneusel","year":"2017","unstructured":"Kneusel, R.T.: Arbitrary precision floating-point. Numbers and Computers, pp. 265\u2013292. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-50508-4_9"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Lee, V.A., Boehm, H.-J.: Optimizing programs over the constructive reals. In: PLDI 1990 (1990)","DOI":"10.1145\/93542.93558"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Martel, M.: Program transformation for numerical precision. In: PEPM 2009, pp. 101\u2013110. ACM (2009)","DOI":"10.1145\/1480945.1480960"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Panchekha, P., Sanchez-Stern, A., Wilcox, J.R., Tatlock, Z.: Automatically improving accuracy for floating point expressions. In: PLDI (2015)","DOI":"10.1145\/2737924.2737959"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Rubio-Gonz\u00e1lez, C., et al.: Precimonious: tuning assistant for floating-point precision. In: SC, pp. 1\u201312. IEEE (2013)","DOI":"10.1145\/2503210.2503296"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Solovyev, A., Jacobsen, C., Rakamaric, Z., Gopalakrishnan, G.: Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions. In: FM (2015)","DOI":"10.1007\/978-3-319-19249-9_33"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Sanchez-Stern, A., Panchekha, P., Lerner, S., Tatlock, Z.: Finding root causes of floating point error. In: PLDI, pp. 256\u2013269 (2018)","DOI":"10.1145\/3296979.3192411"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-030-20652-9_25","volume-title":"NASA Formal Methods","author":"R Salvia","year":"2019","unstructured":"Salvia, R., Titolo, L., Feli\u00fa, M.A., Moscato, M.M., Mu\u00f1oz, C.A., Rakamari\u0107, Z.: A mixed real and floating-point solver. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2019. LNCS, vol. 11460, pp. 363\u2013370. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-20652-9_25"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-319-73721-8_24","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"L Titolo","year":"2018","unstructured":"Titolo, L., Feli\u00fa, M.A., Moscato, M., Mu\u00f1oz, C.A.: An abstract interpretation framework for the round-off error analysis of floating-point programs. VMCAI 2018. LNCS, vol. 10747, pp. 516\u2013537. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73721-8_24"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Thien, D., Zorn, B., Panchekha, P., Tatlock, Z.: Toward multi-precision, multi-format numerics. In: 2019 IEEE\/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), pp. 19\u201326 (2019)","DOI":"10.1109\/Correctness49594.2019.00008"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Thien, D., Zorn, B., Panchekha, P., Tatlock, Z.: Toward multi-precision, multi-format numerics. In: Laguna, I., Rubio-Gonz\u00e1lez, C. (ed) 2019 IEEE\/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, 18 November 2019, pp. 19\u201326. IEEE (2019)","DOI":"10.1109\/Correctness49594.2019.00008"},{"key":"13_CR29","unstructured":"Willsey, M., Wang, Y.R., Flatt, O., Nandi, C., Panchekha, P., Tatlock, Z.: egg: Easy, efficient, and extensible e-graphs (2020)"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Yi, X., Chen, L., Mao, X., Ji, T.: Automated repair of high inaccuracies in numerical programs. In: 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 514\u2013518 (2017)","DOI":"10.1109\/ICSME.2017.45"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Zitoun, H., Michel, C., Rueher, M., Michel, L.: Sub-domain selection strategies for floating point constraint systems. In: 24th International Conference on Principles and Practice of Constraint Programming Doctoral Program CP 2018, July 2018","DOI":"10.1007\/978-3-319-66158-2_45"}],"container-title":["Lecture Notes in Computer Science","Software Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63618-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T00:45:00Z","timestamp":1619225100000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-63618-0_13"}},"subtitle":["Trust, Measurement, Community, and Generality for the Numerical Workbench"],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030636173","9783030636180"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63618-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"6 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NSV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Numerical Software Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Los Angeles, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 July 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nsv2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/nsv2020.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"64% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to COVID-19 pandemic the conference was held virtually","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}