{"id":"https://openalex.org/W2095507327","doi":"https://doi.org/10.1145/2814270.2814317","title":"Automated backward error analysis for numerical code","display_name":"Automated backward error analysis for numerical code","publication_year":2015,"publication_date":"2015-10-23","ids":{"openalex":"https://openalex.org/W2095507327","doi":"https://doi.org/10.1145/2814270.2814317","mag":"2095507327"},"language":"en","primary_location":{"id":"doi:10.1145/2814270.2814317","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814270.2814317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089294104","display_name":"Zhoulai Fu","orcid":"https://orcid.org/0000-0003-2073-0564"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Zhoulai Fu","raw_affiliation_strings":["University of California at Davis, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053733794","display_name":"Zhaojun Bai","orcid":"https://orcid.org/0000-0002-1143-2429"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhaojun Bai","raw_affiliation_strings":["University of California at Davis, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["University of California at Davis, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5089294104"],"corresponding_institution_ids":["https://openalex.org/I84218800"],"apc_list":null,"apc_paid":null,"fwci":2.4536,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.8953473,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"639","last_page":"654"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9825000166893005,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/round-off-error","display_name":"Round-off error","score":0.8558636903762817},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7280492782592773},{"id":"https://openalex.org/keywords/truncation-error","display_name":"Truncation error","score":0.7062392830848694},{"id":"https://openalex.org/keywords/error-analysis","display_name":"Error analysis","score":0.6971642971038818},{"id":"https://openalex.org/keywords/numerical-analysis","display_name":"Numerical analysis","score":0.6703495383262634},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5596652030944824},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5079272389411926},{"id":"https://openalex.org/keywords/numerical-stability","display_name":"Numerical stability","score":0.4710260331630707},{"id":"https://openalex.org/keywords/library-function","display_name":"Library function","score":0.4557560980319977},{"id":"https://openalex.org/keywords/truncation","display_name":"Truncation (statistics)","score":0.4528326988220215},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.42069536447525024},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.41598203778266907},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25396203994750977},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20083779096603394},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.1933082640171051}],"concepts":[{"id":"https://openalex.org/C61005703","wikidata":"https://www.wikidata.org/wiki/Q2145211","display_name":"Round-off error","level":2,"score":0.8558636903762817},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7280492782592773},{"id":"https://openalex.org/C104942944","wikidata":"https://www.wikidata.org/wiki/Q3434686","display_name":"Truncation error","level":2,"score":0.7062392830848694},{"id":"https://openalex.org/C3018824978","wikidata":"https://www.wikidata.org/wiki/Q2894891","display_name":"Error analysis","level":2,"score":0.6971642971038818},{"id":"https://openalex.org/C48753275","wikidata":"https://www.wikidata.org/wiki/Q11216","display_name":"Numerical analysis","level":2,"score":0.6703495383262634},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5596652030944824},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5079272389411926},{"id":"https://openalex.org/C176321772","wikidata":"https://www.wikidata.org/wiki/Q1430640","display_name":"Numerical stability","level":3,"score":0.4710260331630707},{"id":"https://openalex.org/C2992306863","wikidata":"https://www.wikidata.org/wiki/Q188860","display_name":"Library function","level":2,"score":0.4557560980319977},{"id":"https://openalex.org/C106195933","wikidata":"https://www.wikidata.org/wiki/Q7847935","display_name":"Truncation (statistics)","level":2,"score":0.4528326988220215},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.42069536447525024},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.41598203778266907},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25396203994750977},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20083779096603394},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.1933082640171051},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2814270.2814317","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814270.2814317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8863874661","display_name":null,"funder_award_id":"1349528","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W89892127","https://openalex.org/W103230645","https://openalex.org/W244247539","https://openalex.org/W605824955","https://openalex.org/W1526045365","https://openalex.org/W1548182513","https://openalex.org/W1710734607","https://openalex.org/W1860567208","https://openalex.org/W1938260438","https://openalex.org/W1964712205","https://openalex.org/W1966151649","https://openalex.org/W1966287322","https://openalex.org/W1978015460","https://openalex.org/W1981663184","https://openalex.org/W1986602910","https://openalex.org/W1986969990","https://openalex.org/W1999858616","https://openalex.org/W2014764321","https://openalex.org/W2020804487","https://openalex.org/W2029223910","https://openalex.org/W2032108945","https://openalex.org/W2032572332","https://openalex.org/W2037415827","https://openalex.org/W2046104010","https://openalex.org/W2049073264","https://openalex.org/W2064221402","https://openalex.org/W2078950386","https://openalex.org/W2081368694","https://openalex.org/W2096654515","https://openalex.org/W2097415784","https://openalex.org/W2101512909","https://openalex.org/W2109641505","https://openalex.org/W2121344286","https://openalex.org/W2122738744","https://openalex.org/W2132661148","https://openalex.org/W2134959074","https://openalex.org/W2135194391","https://openalex.org/W2150118230","https://openalex.org/W2159806432","https://openalex.org/W2169004268","https://openalex.org/W2170736936","https://openalex.org/W2271877143","https://openalex.org/W2432517183","https://openalex.org/W2595897327","https://openalex.org/W2752853835","https://openalex.org/W2981264952","https://openalex.org/W3100198463","https://openalex.org/W3105621768","https://openalex.org/W6641625552","https://openalex.org/W6674801067","https://openalex.org/W6993211581","https://openalex.org/W7063904013"],"related_works":["https://openalex.org/W4239780814","https://openalex.org/W4390638240","https://openalex.org/W142129510","https://openalex.org/W2798723798","https://openalex.org/W2610540941","https://openalex.org/W13301693","https://openalex.org/W2355522169","https://openalex.org/W2001559604","https://openalex.org/W2095507327","https://openalex.org/W3171270482"],"abstract_inverted_index":{"Numerical":[0],"code":[1,102],"uses":[2],"floating-point":[3,171],"arithmetic":[4],"and":[5,10,31,48,52,72,82,108,154],"necessarily":[6],"suffers":[7],"from":[8],"roundoff":[9],"truncation":[11],"errors.":[12],"Error":[13],"analysis":[14,30,34,44,65,99,163],"is":[15,45,66,79,139,164],"the":[16,23,55,73,85,90,115,123,145,168],"process":[17],"to":[18,25,103,120,140],"quantify":[19],"such":[20],"uncertainty":[21],"in":[22,144],"solution":[24],"a":[26,137],"problem.":[27],"Forward":[28,42],"error":[29,33,40,43,64,98,118],"backward":[32,63,97,117],"are":[35],"two":[36],"popular":[37],"paradigms":[38],"of":[39,170],"analysis.":[41],"more":[46,67],"intuitive":[47],"has":[49],"been":[50],"explored":[51],"automated":[53,96],"by":[54,69,84,130],"programming":[56],"languages":[57],"(PL)":[58],"community.":[59,87],"In":[60,111],"contrast,":[61],"although":[62],"preferred":[68],"numerical":[70,76,101,106,131],"analysts":[71,107,132],"foundation":[74],"for":[75,100,133],"stability,":[77],"it":[78],"less":[80],"known":[81],"unexplored":[83],"PL":[86],"To":[88],"fill":[89],"gap,":[91],"this":[92],"paper":[93],"presents":[94],"an":[95,126],"empower":[104],"both":[105],"application":[109],"developers.":[110],"addition,":[112],"we":[113],"use":[114],"computed":[116],"results":[119,148],"also":[121],"compute":[122],"condition":[124],"number,":[125],"important":[127],"quantity":[128],"recognized":[129],"measuring":[134],"how":[135],"sensitive":[136],"function":[138],"changes":[141],"or":[142],"errors":[143],"input.":[146],"Experimental":[147],"on":[149],"Intel":[150],"X87":[151],"FPU":[152],"functions":[153,159],"widely-used":[155],"GNU":[156],"C":[157],"Library":[158],"demonstrate":[160],"that":[161],"our":[162],"effective":[165],"at":[166],"analyzing":[167],"accuracy":[169],"programs.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}