{"id":"https://openalex.org/W4307887474","doi":"https://doi.org/10.1145/3563322","title":"Oracle-free repair synthesis for floating-point programs","display_name":"Oracle-free repair synthesis for floating-point programs","publication_year":2022,"publication_date":"2022-10-31","ids":{"openalex":"https://openalex.org/W4307887474","doi":"https://doi.org/10.1145/3563322"},"language":"en","primary_location":{"id":"doi:10.1145/3563322","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3563322","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3563322","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3563322","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005604635","display_name":"Daming Zou","orcid":"https://orcid.org/0000-0001-9562-6492"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Daming Zou","raw_affiliation_strings":["ETH Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0001-9562-6492","affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040203716","display_name":"GU Yu-chen","orcid":"https://orcid.org/0000-0001-5805-2901"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuchen Gu","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0001-5805-2901","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076444296","display_name":"Yuanfeng Shi","orcid":"https://orcid.org/0000-0002-3189-2713"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuanfeng Shi","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0002-3189-2713","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009487151","display_name":"MingZhe Wang","orcid":"https://orcid.org/0000-0003-4405-1494"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MingZhe Wang","raw_affiliation_strings":["Princeton University, USA"],"raw_orcid":"https://orcid.org/0000-0003-4405-1494","affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100712724","display_name":"Yingfei Xiong","orcid":"https://orcid.org/0000-0001-8991-747X"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yingfei Xiong","raw_affiliation_strings":["Peking University, China"],"raw_orcid":"https://orcid.org/0000-0001-8991-747X","affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"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/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["ETH Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-2970-1391","affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.958,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.85557057,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"6","issue":"OOPSLA2","first_page":"957","last_page":"985"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9990000128746033,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9861000180244446,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/oracle","display_name":"Oracle","score":0.7663378715515137},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.765911877155304},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.757003903388977},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.6678499579429626},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.547941267490387},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.4941871464252472},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4681660830974579},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.45549851655960083},{"id":"https://openalex.org/keywords/double-precision-floating-point-format","display_name":"Double-precision floating-point format","score":0.44269296526908875},{"id":"https://openalex.org/keywords/float","display_name":"Float (project management)","score":0.43131959438323975},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4127090573310852},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19065424799919128},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1372562050819397},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09711098670959473},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09055781364440918}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7663378715515137},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.765911877155304},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.757003903388977},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.6678499579429626},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.547941267490387},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.4941871464252472},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4681660830974579},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45549851655960083},{"id":"https://openalex.org/C35912277","wikidata":"https://www.wikidata.org/wiki/Q1243369","display_name":"Double-precision floating-point format","level":3,"score":0.44269296526908875},{"id":"https://openalex.org/C2780337265","wikidata":"https://www.wikidata.org/wiki/Q185958","display_name":"Float (project management)","level":2,"score":0.43131959438323975},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4127090573310852},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19065424799919128},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1372562050819397},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09711098670959473},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09055781364440918},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199104240","wikidata":"https://www.wikidata.org/wiki/Q118291","display_name":"Marine engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3563322","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3563322","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3563322","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/584518","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/584518","pdf_url":null,"source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 6 (OOPSLA2)","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.3929/ethz-b-000584518","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-b-000584518","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1145/3563322","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3563322","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3563322","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4307887474.pdf","grobid_xml":"https://content.openalex.org/works/W4307887474.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W130624829","https://openalex.org/W1485446097","https://openalex.org/W1969213662","https://openalex.org/W1986624837","https://openalex.org/W1986969990","https://openalex.org/W1999858616","https://openalex.org/W2000539294","https://openalex.org/W2000578081","https://openalex.org/W2009204854","https://openalex.org/W2061091230","https://openalex.org/W2070571012","https://openalex.org/W2095035380","https://openalex.org/W2095507327","https://openalex.org/W2105963045","https://openalex.org/W2122738744","https://openalex.org/W2138075164","https://openalex.org/W2156858199","https://openalex.org/W2207050309","https://openalex.org/W2547684973","https://openalex.org/W2595897327","https://openalex.org/W2790213686","https://openalex.org/W2798954527","https://openalex.org/W2899445138","https://openalex.org/W2899807069","https://openalex.org/W2903589674","https://openalex.org/W2904117297","https://openalex.org/W2954681676","https://openalex.org/W2954903132","https://openalex.org/W2996252512","https://openalex.org/W3033741081","https://openalex.org/W3043711568","https://openalex.org/W3091359231","https://openalex.org/W3115377313","https://openalex.org/W3147919432","https://openalex.org/W3170765902","https://openalex.org/W3194114088","https://openalex.org/W3196504174","https://openalex.org/W3203490988","https://openalex.org/W4225503996","https://openalex.org/W4234850770","https://openalex.org/W4254023435","https://openalex.org/W4387555585","https://openalex.org/W4388254529","https://openalex.org/W4402262041"],"related_works":["https://openalex.org/W4205615841","https://openalex.org/W3215589575","https://openalex.org/W2336476964","https://openalex.org/W3150959508","https://openalex.org/W1571090276","https://openalex.org/W3150370983","https://openalex.org/W2773283032","https://openalex.org/W2239119680","https://openalex.org/W2012407419","https://openalex.org/W4297795876"],"abstract_inverted_index":{"The":[0,83],"floating-point":[1,81,99,107,180],"representation":[2],"provides":[3],"widely-used":[4],"data":[5],"types":[6],"(such":[7],"as":[8],"\u201cfloat\u201d":[9],"and":[10,25,76,114,127,156,166],"\u201cdouble\u201d)":[11],"for":[12,78],"modern":[13],"numerical":[14,36,40,46,147],"software.":[15],"Numerical":[16],"errors":[17,41,108],"are":[18,58],"inherent":[19],"due":[20],"to":[21,34,38,109,138,162],"floating-point\u2019s":[22],"approximate":[23],"nature,":[24],"pose":[26],"an":[27],"important,":[28],"well-known":[29],"challenge.":[30],"It":[31],"is":[32,73,88,124,153,160],"nontrivial":[33],"fix/repair":[35],"code":[37],"reduce":[39],"\u2014":[42],"it":[43,159],"requires":[44],"either":[45],"expertise":[47],"(for":[48,54],"manual":[49],"fixing)":[50],"or":[51],"high-precision":[52,140],"oracles":[53],"automatic":[55,126],"repair);":[56],"both":[57],"difficult":[59,137],"requirements.":[60],"To":[61],"tackle":[62],"this":[63,65],"challenge,":[64],"paper":[66],"introduces":[67],"a":[68],"principled":[69],"dynamic":[70],"approach":[71,87,152],"that":[72,94,150],"fully":[74,125],"automated":[75],"oracle-free":[77],"effectively":[79,110],"repairing":[80],"errors.":[82,100],"key":[84],"of":[85,92,98,132,177],"our":[86,122,151],"the":[89,129,136,169,172],"novel":[90],"notion":[91],"micro-structure":[93],"characterizes":[95],"structural":[96],"patterns":[97],"We":[101],"leverage":[102],"micro-structures\u2019":[103],"statistical":[104],"information":[105],"on":[106,135,144],"guide":[111],"repair":[112,120],"synthesis":[113],"validation.":[115],"Compared":[116],"with":[117],"existing":[118],"state-of-the-art":[119],"approaches,":[121],"work":[123],"has":[128],"distinctive":[130],"benefit":[131],"not":[133],"relying":[134],"obtain":[139],"oracles.":[141],"Evaluation":[142],"results":[143],"36":[145],"commonly-used":[146],"programs":[148,174],"show":[149],"highly":[154],"efficient":[155],"effective:":[157],"(1)":[158],"able":[161],"synthesize":[163],"repairs":[164],"instantaneously,":[165],"(2)":[167],"versus":[168],"original":[170],"programs,":[171],"repaired":[173],"have":[175],"orders":[176],"magnitude":[178],"smaller":[179],"errors,":[181],"while":[182],"having":[183],"faster":[184],"runtime":[185],"performance.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}