{"id":"https://openalex.org/W4406867759","doi":"https://doi.org/10.1145/3715104","title":"Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators","display_name":"Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators","publication_year":2025,"publication_date":"2025-01-27","ids":{"openalex":"https://openalex.org/W4406867759","doi":"https://doi.org/10.1145/3715104"},"language":"en","primary_location":{"id":"doi:10.1145/3715104","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3715104","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-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/A5101827938","display_name":"Jiawei Liu","orcid":"https://orcid.org/0000-0002-4930-9637"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jiawei Liu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China and Shenzhen Research Institute of Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0002-4930-9637","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China and Shenzhen Research Institute of Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003660766","display_name":"Xufan Zhang","orcid":"https://orcid.org/0000-0001-7284-1931"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xufan Zhang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0001-7284-1931","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111651961","display_name":"Lurong Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lurong Xu","raw_affiliation_strings":["I&V Dept of Kirin Solution Dept, HS, Huawei, China"],"raw_orcid":"https://orcid.org/0009-0004-3217-9954","affiliations":[{"raw_affiliation_string":"I&V Dept of Kirin Solution Dept, HS, Huawei, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075174750","display_name":"Chunrong Fang","orcid":"https://orcid.org/0000-0002-9930-7111"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunrong Fang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China and Shenzhen Research Institute of Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0002-9930-7111","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China and Shenzhen Research Institute of Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043473206","display_name":"Mingzheng Gu","orcid":"https://orcid.org/0009-0000-5141-8923"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingzheng Gu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0009-0000-5141-8923","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083505735","display_name":"Weisi Luo","orcid":null},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weisi Luo","raw_affiliation_strings":["I&V Dept of Kirin Solution Dept, HS, Huawei, China"],"raw_orcid":"https://orcid.org/0009-0000-9333-439X","affiliations":[{"raw_affiliation_string":"I&V Dept of Kirin Solution Dept, HS, Huawei, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Dong Chai","orcid":"https://orcid.org/0009-0002-2235-5788"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dong Chai","raw_affiliation_strings":["I&V Dept of Kirin Solution Dept, HS, Huawei, China"],"raw_orcid":"https://orcid.org/0009-0002-2235-5788","affiliations":[{"raw_affiliation_string":"I&V Dept of Kirin Solution Dept, HS, Huawei, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jiang Wang","orcid":"https://orcid.org/0009-0004-3224-4218"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiang Wang","raw_affiliation_strings":["I&V Dept of Kirin Solution Dept, HS, Huawei, China"],"raw_orcid":"https://orcid.org/0009-0004-3224-4218","affiliations":[{"raw_affiliation_string":"I&V Dept of Kirin Solution Dept, HS, Huawei, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103895961","display_name":"Zhihong Zhao","orcid":"https://orcid.org/0009-0009-8850-5583"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhihong Zhao","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China"],"raw_orcid":"https://orcid.org/0009-0009-8850-5583","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100422935","display_name":"Zhenyu Chen","orcid":"https://orcid.org/0000-0002-9592-7022"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenyu Chen","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, China and Shenzhen Research Institute of Nanjing University, China"],"raw_orcid":"https://orcid.org/0000-0002-9592-7022","affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, China and Shenzhen Research Institute of Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5101827938"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":2.311,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.83213982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11583","display_name":"Advanced Measurement and Metrology Techniques","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12549","display_name":"Image and Object Detection Techniques","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/computer-science","display_name":"Computer science","score":0.8413404226303101},{"id":"https://openalex.org/keywords/convolutional-neural-network","display_name":"Convolutional neural network","score":0.7321656942367554},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4841468930244446},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.44597649574279785},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.43646207451820374}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8413404226303101},{"id":"https://openalex.org/C81363708","wikidata":"https://www.wikidata.org/wiki/Q17084460","display_name":"Convolutional neural network","level":2,"score":0.7321656942367554},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4841468930244446},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.44597649574279785},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43646207451820374},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3715104","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3715104","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1566387478","https://openalex.org/W1966151649","https://openalex.org/W2095507327","https://openalex.org/W2122738744","https://openalex.org/W2123834623","https://openalex.org/W2131032139","https://openalex.org/W2146292423","https://openalex.org/W2157653924","https://openalex.org/W2226528584","https://openalex.org/W2261689926","https://openalex.org/W2561644314","https://openalex.org/W2767209415","https://openalex.org/W2850992922","https://openalex.org/W2888307014","https://openalex.org/W2899807069","https://openalex.org/W2904117297","https://openalex.org/W2954183584","https://openalex.org/W2954903132","https://openalex.org/W2962793481","https://openalex.org/W2963327228","https://openalex.org/W2963446712","https://openalex.org/W2963521335","https://openalex.org/W2999803881","https://openalex.org/W3000315285","https://openalex.org/W3034191783","https://openalex.org/W3047354260","https://openalex.org/W3098755434","https://openalex.org/W3104663419","https://openalex.org/W3106050203","https://openalex.org/W3123045479","https://openalex.org/W3157910549","https://openalex.org/W3160029089","https://openalex.org/W3168997536","https://openalex.org/W3177562315","https://openalex.org/W3195618452","https://openalex.org/W3199980055","https://openalex.org/W4210541032","https://openalex.org/W4225847927","https://openalex.org/W4226070402","https://openalex.org/W4229666556","https://openalex.org/W4284686707","https://openalex.org/W4312950730","https://openalex.org/W4313547562"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Convolutional":[0],"Neural":[1],"Network":[2],"(CNN)":[3],"operators,":[4],"mostly":[5],"based":[6,181],"on":[7,182,231],"mathematical":[8,184],"linear":[9,189],"computations,":[10],"are":[11,25,66],"of":[12,78,110,118,132,144,186,220,251,301],"vital":[13],"importance":[14],"to":[15,27,51,92,164,218,264,271,297],"developing":[16],"CNN-based":[17,34,305],"software.":[18,306],"Existing":[19],"studies":[20],"reveal":[21],"that":[22,200,239,288],"these":[23,94],"operators":[24,65,114,210,303],"prone":[26],"floating-point":[28,71,75,119,126,156,179,188],"precision":[29,284],"problems":[30,37],"(FPPs).":[31],"In":[32,96],"a":[33,142,161,228,249,294],"application,":[35],"such":[36],"can":[38,203],"be":[39],"propagated":[40],"and":[41,53,73,89,108,138,205,212,214,237,246,253,257,274,304],"result":[42],"in":[43,57,63,112,208,223],"catastrophic":[44],"consequences.":[45],"Thus,":[46],"it":[47,84],"is":[48,90,244],"highly":[49],"desired":[50],"detect":[52,149,204],"repair":[54,109,170,206,258],"the":[55,61,101,105,116,150,154,166,171,177,183,187,194,221,240,299],"FPPs":[56,62,111,151,207,222,266],"CNN":[58,64,113,209,224,235,302],"operators.":[59,225],"Considering":[60],"mainly":[67],"caused":[68,152],"by":[69,153,282],"accumulated":[70,155],"errors":[72],"diverse":[74,123],"tensors":[76,124,180],"instead":[77],"wrong":[79],"codes":[80],"or":[81],"bad":[82],"implementations,":[83],"requires":[85],"much":[86],"time":[87],"cost":[88],"difficult":[91],"tackle":[93],"FPPs.":[95],"this":[97],"paper,":[98],"we":[99,128],"propose":[100],"first":[102],"method":[103,159,175,243,259,290],"for":[104],"automated":[106],"detection":[107,256],"from":[115],"perspective":[117],"tensors.":[120],"To":[121,148,169],"generate":[122],"with":[125],"numbers,":[127],"design":[129],"two":[130],"levels":[131],"mutation":[133,137,146],"rules,":[134],"namely":[135],"computation-level":[136],"input-level":[139],"mutation,":[140],"containing":[141],"total":[143],"five":[145],"methods.":[147],"errors,":[157],"our":[158,174,201,289],"uses":[160],"weight":[162],"matrix":[163],"guide":[165],"progressive":[167],"mutation.":[168],"detected":[172],"FPPs,":[173],"transforms":[176],"error-prone":[178],"rewriting":[185],"computational":[190],"properties":[191],"without":[192,278],"destroying":[193],"original":[195],"computation.":[196],"Experimental":[197],"results":[198],"show":[199],"methods":[202],"effectively":[211],"efficiently":[213],"could":[215,291],"reduce":[216],"93.32%":[217],"100%":[219],"We":[226,286],"conduct":[227],"case":[229],"study":[230],"six":[232],"different":[233],"widely-used":[234],"models":[236,277],"confirm":[238],"proposed":[241],"FPP":[242],"generalizable":[245],"effective":[247],"across":[248],"variety":[250],"tasks":[252],"architectures.":[254],"Our":[255],"offers":[260],"an":[261],"intuitive":[262],"way":[263,296],"handle":[265],"during":[267],"development,":[268],"allowing":[269],"users":[270],"continue":[272],"building":[273],"fine-tuning":[275],"their":[276],"being":[279],"slowed":[280],"down":[281],"numerical":[283],"errors.":[285],"believe":[287],"open":[292],"up":[293],"new":[295],"enhance":[298],"quality":[300]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}