{"id":"https://openalex.org/W2990673076","doi":"https://doi.org/10.1109/ieeeconf44664.2019.9048893","title":"A Probabilistic Approach to Floating-Point Arithmetic","display_name":"A Probabilistic Approach to Floating-Point Arithmetic","publication_year":2019,"publication_date":"2019-11-01","ids":{"openalex":"https://openalex.org/W2990673076","doi":"https://doi.org/10.1109/ieeeconf44664.2019.9048893","mag":"2990673076"},"language":"en","primary_location":{"id":"doi:10.1109/ieeeconf44664.2019.9048893","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ieeeconf44664.2019.9048893","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 53rd Asilomar Conference on Signals, Systems, and Computers","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1912.00867","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069664027","display_name":"Fredrik Dahlqvist","orcid":"https://orcid.org/0000-0003-2555-0490"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Fredrik Dahlqvist","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, Imperial College, London","Imperial College London"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, Imperial College, London","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043495060","display_name":"Rocco Salvia","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rocco Salvia","raw_affiliation_strings":["School of Computing, University of Utah","University of Utah"],"affiliations":[{"raw_affiliation_string":"School of Computing, University of Utah","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029829952","display_name":"George A. Constantinides","orcid":"https://orcid.org/0000-0002-0201-310X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"George A. Constantinides","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, Imperial College, London","Imperial College London"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, Imperial College, London","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5069664027"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18788158,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"596","last_page":"602"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9997000098228455,"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.9997000098228455,"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/T11801","display_name":"Reservoir Engineering and Simulation Methods","score":0.9290000200271606,"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"}},{"id":"https://openalex.org/T11034","display_name":"Digital Filter Design and Implementation","score":0.9175000190734863,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/rounding","display_name":"Rounding","score":0.9434530735015869},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7255158424377441},{"id":"https://openalex.org/keywords/round-off-error","display_name":"Round-off error","score":0.6483713388442993},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6022948622703552},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.5957417488098145},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5919439196586609},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.5804221630096436},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5513795614242554},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5373650193214417},{"id":"https://openalex.org/keywords/arbitrary-precision-arithmetic","display_name":"Arbitrary-precision arithmetic","score":0.5269737243652344},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.44712361693382263},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.43051111698150635},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4288123548030853},{"id":"https://openalex.org/keywords/machine-epsilon","display_name":"Machine epsilon","score":0.4140075743198395},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3954649567604065},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3374655544757843},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07190072536468506}],"concepts":[{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.9434530735015869},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7255158424377441},{"id":"https://openalex.org/C61005703","wikidata":"https://www.wikidata.org/wiki/Q2145211","display_name":"Round-off error","level":2,"score":0.6483713388442993},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6022948622703552},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.5957417488098145},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5919439196586609},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.5804221630096436},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5513795614242554},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5373650193214417},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.5269737243652344},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.44712361693382263},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.43051111698150635},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4288123548030853},{"id":"https://openalex.org/C203739276","wikidata":"https://www.wikidata.org/wiki/Q1780355","display_name":"Machine epsilon","level":2,"score":0.4140075743198395},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3954649567604065},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3374655544757843},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07190072536468506},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/ieeeconf44664.2019.9048893","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ieeeconf44664.2019.9048893","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 53rd Asilomar Conference on Signals, Systems, and Computers","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1912.00867","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.00867","pdf_url":"https://arxiv.org/pdf/1912.00867","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2990673076","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1912.00867","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/75451","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/75451","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Asilomar Conference on Signals, Systems and Computers (ACSSC 2019)","raw_type":"Conference Paper"},{"id":"doi:10.48550/arxiv.1912.00867","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1912.00867","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1912.00867","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.00867","pdf_url":"https://arxiv.org/pdf/1912.00867","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2990673076.pdf","grobid_xml":"https://content.openalex.org/works/W2990673076.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1485603255","https://openalex.org/W1526295091","https://openalex.org/W1919892143","https://openalex.org/W1989521352","https://openalex.org/W2020804487","https://openalex.org/W2024355065","https://openalex.org/W2130694104","https://openalex.org/W2162826883","https://openalex.org/W2227234579","https://openalex.org/W2588591308","https://openalex.org/W2797985644","https://openalex.org/W2903589674","https://openalex.org/W2904117297","https://openalex.org/W2954018354","https://openalex.org/W2991361483","https://openalex.org/W3022909171","https://openalex.org/W6765196081","https://openalex.org/W7014286703"],"related_works":["https://openalex.org/W2964222721","https://openalex.org/W3150300539","https://openalex.org/W2982061206","https://openalex.org/W3011671470","https://openalex.org/W2952432998","https://openalex.org/W1550852780","https://openalex.org/W2346492432","https://openalex.org/W161946993","https://openalex.org/W2012476709","https://openalex.org/W2002937509","https://openalex.org/W2172480251","https://openalex.org/W1528900040","https://openalex.org/W2998531422","https://openalex.org/W3130485584","https://openalex.org/W1499475369","https://openalex.org/W2049354208","https://openalex.org/W1521891106","https://openalex.org/W1567884022","https://openalex.org/W2156792823","https://openalex.org/W1567218086"],"abstract_inverted_index":{"Finite-precision":[0],"floating":[1],"point":[2],"arithmetic":[3,88],"unavoidably":[4],"introduces":[5],"rounding":[6,40,53,75,118],"errors":[7,25,41,119],"which":[8,43],"are":[9],"traditionally":[10],"bounded":[11],"using":[12],"a":[13,36,60,91,101,106,138],"worst-case":[14,17,24],"analysis.":[15],"However,":[16],"analysis":[18],"might":[19],"be":[20,27],"overly":[21],"conservative":[22],"because":[23],"can":[26,112],"extremely":[28],"rare":[29],"events":[30],"in":[31,105],"practice.":[32],"Here":[33],"we":[34,67,89,111],"develop":[35],"probabilistic":[37,149,164],"model":[38,95,158],"of":[39,55,74,117,123,148,156],"with":[42],"it":[44,128,161],"becomes":[45],"possible":[46],"to":[47,70,144,162],"estimate":[48],"the":[49,52,72,115,124,146,157],"likelihood":[50],"that":[51],"error":[54],"an":[56,64,154],"algorithm":[57],"lies":[58],"within":[59],"given":[61,100],"interval.":[62],"Given":[63],"input":[65],"distribution,":[66],"show":[68],"how":[69],"compute":[71,114],"distribution":[73,116],"errors.":[76],"We":[77,151],"do":[78],"this":[79],"exactly":[80],"for":[81,85],"low":[82],"precision":[83,87],"arithmetic,":[84],"high":[86],"derive":[90],"simple":[92,107],"approximation.":[93],"The":[94],"is":[96,134],"then":[97,152],"entirely":[98],"compositional:":[99],"numerical":[102],"program":[103,131],"written":[104],"imperative":[108],"programming":[109],"language":[110],"recursively":[113],"at":[120],"each":[121,130],"step":[122],"computation":[125],"and":[126,159],"propagate":[127],"through":[129],"instruction.":[132],"This":[133],"done":[135],"by":[136,142],"applying":[137],"formalism":[139],"originally":[140],"developed":[141],"Kozen":[143],"formalize":[145],"semantics":[147],"programs.":[150],"discuss":[153],"implementation":[155],"use":[160],"perform":[163],"range":[165],"analyses":[166],"on":[167],"some":[168],"benchmarks.":[169]},"counts_by_year":[],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}