{"id":"https://openalex.org/W4414605227","doi":"https://doi.org/10.1109/qrs65678.2025.00047","title":"Scalable Detection of Floating-Point Errors via Adaptive Parallel Subdomain Search","display_name":"Scalable Detection of Floating-Point Errors via Adaptive Parallel Subdomain Search","publication_year":2025,"publication_date":"2025-07-16","ids":{"openalex":"https://openalex.org/W4414605227","doi":"https://doi.org/10.1109/qrs65678.2025.00047"},"language":"en","primary_location":{"id":"doi:10.1109/qrs65678.2025.00047","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs65678.2025.00047","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5035064494","display_name":"Zuoyan Zhang","orcid":"https://orcid.org/0009-0005-2615-2541"},"institutions":[{"id":"https://openalex.org/I14992734","display_name":"Hunan University of Traditional Chinese Medicine","ror":"https://ror.org/05qfq0x09","country_code":"CN","type":"education","lineage":["https://openalex.org/I14992734"]},{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zuoyan Zhang","raw_affiliation_strings":["Hunan University,Changsha,Hunan,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hunan University,Changsha,Hunan,China","institution_ids":["https://openalex.org/I14992734","https://openalex.org/I16609230"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Shihan Yuan","orcid":null},"institutions":[{"id":"https://openalex.org/I14992734","display_name":"Hunan University of Traditional Chinese Medicine","ror":"https://ror.org/05qfq0x09","country_code":"CN","type":"education","lineage":["https://openalex.org/I14992734"]},{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shihan Yuan","raw_affiliation_strings":["Hunan University,Changsha,Hunan,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hunan University,Changsha,Hunan,China","institution_ids":["https://openalex.org/I14992734","https://openalex.org/I16609230"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101499562","display_name":"Hongru Yang","orcid":"https://orcid.org/0000-0002-5999-1801"},"institutions":[{"id":"https://openalex.org/I14992734","display_name":"Hunan University of Traditional Chinese Medicine","ror":"https://ror.org/05qfq0x09","country_code":"CN","type":"education","lineage":["https://openalex.org/I14992734"]},{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongru Yang","raw_affiliation_strings":["Hunan University,Changsha,Hunan,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hunan University,Changsha,Hunan,China","institution_ids":["https://openalex.org/I14992734","https://openalex.org/I16609230"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000546902","display_name":"Jie Zhao","orcid":"https://orcid.org/0000-0003-2303-9736"},"institutions":[{"id":"https://openalex.org/I14992734","display_name":"Hunan University of Traditional Chinese Medicine","ror":"https://ror.org/05qfq0x09","country_code":"CN","type":"education","lineage":["https://openalex.org/I14992734"]},{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Zhao","raw_affiliation_strings":["Hunan University,Changsha,Hunan,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hunan University,Changsha,Hunan,China","institution_ids":["https://openalex.org/I14992734","https://openalex.org/I16609230"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100743219","display_name":"Jinchen Xu","orcid":"https://orcid.org/0000-0002-6275-2617"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinchen Xu","raw_affiliation_strings":["Information Engineering University,Zhengzhou,Henan,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Engineering University,Zhengzhou,Henan,China","institution_ids":["https://openalex.org/I169689159"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"392","last_page":"403"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9882000088691711,"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.9882000088691711,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9674000144004822,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T11801","display_name":"Reservoir Engineering and Simulation Methods","score":0.9240000247955322,"subfield":{"id":"https://openalex.org/subfields/2212","display_name":"Ocean Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7597000002861023},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5206000208854675},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.48539999127388},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4117000102996826},{"id":"https://openalex.org/keywords/exponential-growth","display_name":"Exponential growth","score":0.40880000591278076},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.39239999651908875},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.3682999908924103},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.3619000017642975},{"id":"https://openalex.org/keywords/parallel-processing","display_name":"Parallel processing","score":0.36010000109672546}],"concepts":[{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7597000002861023},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7574999928474426},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5206000208854675},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.48539999127388},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48190000653266907},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C75235859","wikidata":"https://www.wikidata.org/wiki/Q582659","display_name":"Exponential growth","level":2,"score":0.40880000591278076},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.39239999651908875},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3682999908924103},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3619000017642975},{"id":"https://openalex.org/C106515295","wikidata":"https://www.wikidata.org/wiki/Q26806595","display_name":"Parallel processing","level":2,"score":0.36010000109672546},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.32019999623298645},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3181000053882599},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.3037000000476837},{"id":"https://openalex.org/C124066611","wikidata":"https://www.wikidata.org/wiki/Q28684319","display_name":"Sparse approximation","level":2,"score":0.29589998722076416},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.28610000014305115},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.271699994802475},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26100000739097595},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C3018824978","wikidata":"https://www.wikidata.org/wiki/Q2894891","display_name":"Error analysis","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.2556000053882599}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/qrs65678.2025.00047","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs65678.2025.00047","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1507872748","https://openalex.org/W1977336460","https://openalex.org/W1986969990","https://openalex.org/W1999858616","https://openalex.org/W2016232724","https://openalex.org/W2061091230","https://openalex.org/W2070676355","https://openalex.org/W2103953062","https://openalex.org/W2122738744","https://openalex.org/W2156858199","https://openalex.org/W2163563828","https://openalex.org/W2299696796","https://openalex.org/W2410059737","https://openalex.org/W2734471494","https://openalex.org/W2798954527","https://openalex.org/W2899807069","https://openalex.org/W2904117297","https://openalex.org/W2914694172","https://openalex.org/W2963723316","https://openalex.org/W2963928453","https://openalex.org/W2996252512","https://openalex.org/W3109004940","https://openalex.org/W3194114088","https://openalex.org/W4225426295","https://openalex.org/W4234850770","https://openalex.org/W4246166885","https://openalex.org/W4307887474","https://openalex.org/W4307888166","https://openalex.org/W4383704453","https://openalex.org/W4388483709"],"related_works":[],"abstract_inverted_index":{"Floating-point":[0],"error":[1,89],"detection":[2,31,118],"is":[3],"crucial":[4],"in":[5,116],"numerical":[6],"computing,":[7],"particularly":[8],"for":[9,51,124],"multi-parameter":[10,52,125],"functions":[11,53,126],"where":[12,127],"even":[13],"minor":[14],"errors":[15,27],"can":[16],"propagate":[17],"and":[18,54,92,120],"significantly":[19,112],"impact":[20],"results.":[21],"The":[22],"sparse":[23],"distribution":[24],"of":[25,57,134],"floating-point":[26,58],"poses":[28],"a":[29,74,87],"significant":[30,34],"challenge,":[32],"as":[33],"deviations":[35],"are":[36],"triggered":[37],"by":[38,98],"only":[39],"rare":[40],"inputs.":[41],"Existing":[42],"search":[43,135],"algorithms":[44],"face":[45],"two":[46],"major":[47],"limitations:":[48],"poor":[49],"scalability":[50],"insufficient":[55],"utilization":[56],"representation":[59],"characteristics.":[60],"To":[61],"address":[62],"these":[63],"challenges,":[64],"we":[65],"propose":[66],"SDPS":[67,85,111],"(Scalable":[68],"Detection":[69],"via":[70],"Parallel":[71],"Subdomain":[72],"Search),":[73],"novel":[75],"algorithm":[76],"that":[77,110,137],"combines":[78],"adaptive":[79],"domain":[80],"partitioning":[81],"with":[82],"floating-point-specific":[83],"heuristics.":[84],"employs":[86],"multi-level":[88],"classification":[90],"system":[91],"specialized":[93],"point":[94],"generation":[95],"strategies,":[96],"supported":[97],"efficient":[99],"parallel":[100],"processing":[101],"through":[102],"dynamic":[103],"task":[104],"allocation.":[105],"Our":[106],"comprehensive":[107],"evaluation":[108],"demonstrates":[109],"outperforms":[113],"state-of-the-art":[114],"methods":[115],"both":[117],"accuracy":[119],"computational":[121],"efficiency,":[122],"especially":[123],"it":[128],"effectively":[129],"addresses":[130],"the":[131],"exponential":[132],"growth":[133],"space":[136],"limits":[138],"existing":[139],"approaches.":[140]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}