{"id":"https://openalex.org/W2996252512","doi":"https://doi.org/10.1145/3371128","title":"Detecting floating-point errors via atomic conditions","display_name":"Detecting floating-point errors via atomic conditions","publication_year":2019,"publication_date":"2019-12-20","ids":{"openalex":"https://openalex.org/W2996252512","doi":"https://doi.org/10.1145/3371128","mag":"2996252512"},"language":"en","primary_location":{"id":"doi:10.1145/3371128","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3371128","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3371128","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":null,"license_id":null,"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/3371128","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/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":"Daming Zou","raw_affiliation_strings":["Peking University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042235813","display_name":"Muhan Zeng","orcid":null},"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":"Muhan Zeng","raw_affiliation_strings":["Peking University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"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":null,"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089294104","display_name":"Zhoulai Fu","orcid":"https://orcid.org/0000-0003-2073-0564"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Zhoulai Fu","raw_affiliation_strings":["IT University of Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100388576","display_name":"Lu Zhang","orcid":"https://orcid.org/0000-0001-8304-7055"},"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":"Lu Zhang","raw_affiliation_strings":["Peking University, China"],"raw_orcid":null,"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":null,"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":2.6642,"has_fulltext":true,"cited_by_count":39,"citation_normalized_percentile":{"value":0.91306977,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"4","issue":"POPL","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998999834060669,"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.9998999834060669,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9943000078201294,"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/point","display_name":"Point (geometry)","score":0.4735352694988251},{"id":"https://openalex.org/keywords/environmental-science","display_name":"Environmental science","score":0.4037991762161255},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2185787856578827},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09774744510650635}],"concepts":[{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4735352694988251},{"id":"https://openalex.org/C39432304","wikidata":"https://www.wikidata.org/wiki/Q188847","display_name":"Environmental science","level":0,"score":0.4037991762161255},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2185787856578827},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09774744510650635}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3371128","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3371128","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3371128","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":null,"license_id":null,"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:pure.atira.dk:openaire/5ed91c39-d228-4efa-9506-c39daea51eff","is_oa":false,"landing_page_url":"https://pure.itu.dk/portal/da/publications/5ed91c39-d228-4efa-9506-c39daea51eff","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Zou, D, Zou, M, Xiong, Y, Fu, Z, Zhang, L & Su, Z 2019, Detecting Floating-Point Errors via Atomic Conditions. in 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020)., 60, Association for Computing Machinery. https://doi.org/10.1145/3371128","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/389607","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/389607","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-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 4 (POPL)","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.3929/ethz-b-000389607","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-b-000389607","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/3371128","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3371128","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3371128","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":null,"license_id":null,"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":[{"id":"https://openalex.org/G1512238080","display_name":null,"funder_award_id":"61922003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1741213834","display_name":null,"funder_award_id":"732287","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G2865606360","display_name":null,"funder_award_id":"61672045","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G393990766","display_name":null,"funder_award_id":"No. 61922003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8561260003","display_name":null,"funder_award_id":"2017YFB1001803","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2996252512.pdf","grobid_xml":"https://content.openalex.org/works/W2996252512.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W98056105","https://openalex.org/W1527905812","https://openalex.org/W1528042415","https://openalex.org/W1550894544","https://openalex.org/W1607294671","https://openalex.org/W1787544972","https://openalex.org/W1966151649","https://openalex.org/W1969213662","https://openalex.org/W1986969990","https://openalex.org/W1999858616","https://openalex.org/W2020804487","https://openalex.org/W2028783611","https://openalex.org/W2041091076","https://openalex.org/W2046104010","https://openalex.org/W2061091230","https://openalex.org/W2062898928","https://openalex.org/W2095507327","https://openalex.org/W2122738744","https://openalex.org/W2153185479","https://openalex.org/W2156858199","https://openalex.org/W2159806432","https://openalex.org/W2169004268","https://openalex.org/W2207050309","https://openalex.org/W2295915207","https://openalex.org/W2410059737","https://openalex.org/W2547684973","https://openalex.org/W2790213686","https://openalex.org/W2798954527","https://openalex.org/W2899445138","https://openalex.org/W2899598218","https://openalex.org/W2899807069","https://openalex.org/W2902965010","https://openalex.org/W2904117297","https://openalex.org/W2954903132","https://openalex.org/W2963928453","https://openalex.org/W3022909171","https://openalex.org/W4234850770"],"related_works":["https://openalex.org/W3007404728","https://openalex.org/W2374021052","https://openalex.org/W2110536732","https://openalex.org/W1984740135","https://openalex.org/W3117958761","https://openalex.org/W1984514811","https://openalex.org/W4280521631","https://openalex.org/W2094967319","https://openalex.org/W3118961085","https://openalex.org/W4206359692"],"abstract_inverted_index":{"This":[0],"paper":[1],"tackles":[2],"the":[3,28,47,129,140,162],"important,":[4],"difficult":[5,82],"problem":[6],"of":[7,126,164],"detecting":[8],"program":[9,151],"inputs":[10],"that":[11,26,109],"trigger":[12],"large":[13,50],"floating-point":[14,51,150],"errors":[15,113],"in":[16,85,101,114],"numerical":[17,36,119],"code.":[18],"It":[19],"introduces":[20],"a":[21,105],"novel,":[22],"principled":[23],"dynamic":[24],"analysis":[25,134,152],"leverages":[27],"mathematically":[29],"rigorously":[30],"analyzed":[31],"condition":[32],"numbers":[33],"for":[34,49],"atomic":[35,41,61,92],"operations,":[37],"which":[38,80],"we":[39,167],"call":[40],"conditions":[42,62,93],",":[43],"to":[44,75,83,104,147],"effectively":[45],"guide":[46],"search":[48,97],"errors.":[52],"Compared":[53],"with":[54],"existing":[55],"approaches,":[56],"our":[57,145,165,170],"work":[58],"based":[59],"on":[60,72,178],"has":[63],"several":[64,124],"distinctive":[65],"benefits:":[66],"(1)":[67],"it":[68],"does":[69],"not":[70],"rely":[71],"high-precision":[73],"implementations":[74],"act":[76],"as":[77,155],"approximate":[78],"oracles,":[79],"are":[81],"obtain":[84],"general":[86],"and":[87,90,122,142,158,174],"computationally":[88],"costly;":[89],"(2)":[91],"provide":[94],"accurate,":[95],"modular":[96],"guidance.":[98],"These":[99],"benefits":[100],"combination":[102],"lead":[103],"highly":[106],"effective":[107],"approach":[108,146],"detects":[110],"more":[111,136],"significant":[112],"real-world":[115],"code":[116],"(e.g.,":[117],"widely-used":[118],"library":[120],"functions)":[121],"achieves":[123],"orders":[125],"speedups":[127],"over":[128],"state-of-the-art,":[130],"thus":[131],"making":[132],"error":[133],"significantly":[135],"practical.":[137],"We":[138],"expect":[139],"methodology":[141],"principles":[143],"behind":[144],"benefit":[148],"other":[149],"tasks":[153],"such":[154],"debugging,":[156],"repair":[157],"synthesis.":[159],"To":[160],"facilitate":[161],"reproduction":[163],"work,":[166],"have":[168],"made":[169],"implementation,":[171],"evaluation":[172],"data":[173],"results":[175],"publicly":[176],"available":[177],"GitHub":[179],"at":[180],"<a>https://github.com/FP-Analysis/atomic-condition</a>.":[181]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}