{"id":"https://openalex.org/W4411267640","doi":"https://doi.org/10.1145/3729332","title":"Correctly Rounded Math Libraries without Worrying about the Application\u2019s Rounding Mode","display_name":"Correctly Rounded Math Libraries without Worrying about the Application\u2019s Rounding Mode","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411267640","doi":"https://doi.org/10.1145/3729332"},"language":"en","primary_location":{"id":"doi:10.1145/3729332","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729332","pdf_url":null,"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"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3729332","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Sehyeok Park","orcid":"https://orcid.org/0009-0002-1528-562X"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sehyeok Park","raw_affiliation_strings":["Rutgers University, Piscataway, USA"],"raw_orcid":"https://orcid.org/0009-0002-1528-562X","affiliations":[{"raw_affiliation_string":"Rutgers University, Piscataway, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Justin Kim","orcid":"https://orcid.org/0009-0002-1481-5019"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Justin Kim","raw_affiliation_strings":["Rutgers University, Piscataway, USA"],"raw_orcid":"https://orcid.org/0009-0002-1481-5019","affiliations":[{"raw_affiliation_string":"Rutgers University, Piscataway, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011881274","display_name":"Santosh Nagarakatte","orcid":"https://orcid.org/0000-0002-5048-8548"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Santosh Nagarakatte","raw_affiliation_strings":["Rutgers University, Piscatway, USA"],"raw_orcid":"https://orcid.org/0000-0002-5048-8548","affiliations":[{"raw_affiliation_string":"Rutgers University, Piscatway, USA","institution_ids":["https://openalex.org/I102322142"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I102322142"],"apc_list":null,"apc_paid":null,"fwci":1.3257,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.82669216,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"9","issue":"PLDI","first_page":"2032","last_page":"2055"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9984999895095825,"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.9984999895095825,"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.989799976348877,"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/T12170","display_name":"History and Theory of Mathematics","score":0.9664000272750854,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rounding","display_name":"Rounding","score":0.9007129669189453},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4776093661785126},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4186221957206726},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.38854551315307617},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.3308635950088501},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.05561068654060364}],"concepts":[{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.9007129669189453},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4776093661785126},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4186221957206726},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38854551315307617},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.3308635950088501},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.05561068654060364}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729332","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729332","pdf_url":null,"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"}],"best_oa_location":{"id":"doi:10.1145/3729332","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729332","pdf_url":null,"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":[{"id":"https://openalex.org/G3970293619","display_name":null,"funder_award_id":"2110861;2312220","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W65339224","https://openalex.org/W1500495637","https://openalex.org/W1533404702","https://openalex.org/W1600435877","https://openalex.org/W1672719503","https://openalex.org/W1844620123","https://openalex.org/W1846048981","https://openalex.org/W1951516794","https://openalex.org/W1969213662","https://openalex.org/W1975054686","https://openalex.org/W1977336460","https://openalex.org/W1980965137","https://openalex.org/W1981663184","https://openalex.org/W1986624837","https://openalex.org/W1995574761","https://openalex.org/W2012407419","https://openalex.org/W2033036231","https://openalex.org/W2040010531","https://openalex.org/W2041844083","https://openalex.org/W2056595762","https://openalex.org/W2092622802","https://openalex.org/W2096350480","https://openalex.org/W2119352997","https://openalex.org/W2130084210","https://openalex.org/W2165473980","https://openalex.org/W2171852215","https://openalex.org/W2179627363","https://openalex.org/W2517887144","https://openalex.org/W2772436979","https://openalex.org/W2887397219","https://openalex.org/W2899807069","https://openalex.org/W2996252512","https://openalex.org/W3080914972","https://openalex.org/W3115377313","https://openalex.org/W3170765902","https://openalex.org/W4225503996","https://openalex.org/W4252124868","https://openalex.org/W4281835144","https://openalex.org/W4307888166","https://openalex.org/W4321496292","https://openalex.org/W4390604942","https://openalex.org/W4399872405","https://openalex.org/W4411267640","https://openalex.org/W6968574938"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W4220780102","https://openalex.org/W2410881844","https://openalex.org/W3196334750","https://openalex.org/W2255550028","https://openalex.org/W191585069","https://openalex.org/W2051303009","https://openalex.org/W2560012549"],"abstract_inverted_index":{"Our":[0],"RLibm":[1,83,99,126,250],"project":[2],"has":[3,158],"recently":[4],"proposed":[5],"methods":[6,253],"to":[7,29,47,66,87,139,177,182,205,215,241],"generate":[8],"a":[9,58,117,159,217,255],"single":[10],"implementation":[11],"for":[12,21,34,57],"an":[13,114],"elementary":[14],"function":[15],"that":[16,51],"produces":[17],"correctly":[18,54,143],"rounded":[19,55,144],"results":[20],"multiple":[22],"rounding":[23,41,76,81,111,118,132,137,150,156,184,203,223,228,238,243],"modes":[24,157,244],"and":[25,71,146,173,186,260],"representations":[26],"with":[27,60,72,103,108],"up":[28],"32-bits.":[30],"They":[31],"are":[32,101],"appealing":[33],"developing":[35],"fast":[36],"reference":[37],"libraries":[38,266],"without":[39,225],"double":[40,80],"issues.":[42],"The":[43,93],"key":[44],"insight":[45],"is":[46],"build":[48],"polynomial":[49,208],"approximations":[50,95],"produce":[52],"the":[53,67,73,82,98,109,122,125,130,135,142,148,179,183,187,190,201,227,249,262],"result":[56,86,219],"representation":[59,70,91],"two":[61,165],"additional":[62],"bits":[63],"when":[64],"compared":[65],"largest":[68],"target":[69,90],"\"non-standard\"":[74],"round-to-odd":[75],"mode,":[77,124,133],"which":[78,168],"makes":[79],"math":[84,127],"library":[85,128],"any":[88,221,237],"smaller":[89],"innocuous.":[92],"resulting":[94,265],"generated":[96],"by":[97,267],"approach":[100],"implemented":[102],"machine":[104],"supported":[105],"floating-point":[106],"operations":[107],"round-to-nearest":[110,123,191],"mode.":[112,151,192,229],"When":[113],"application":[115],"uses":[116],"mode":[119,138,185,204,224],"other":[120],"than":[121,269],"saves":[129],"application's":[131],"changes":[134,181],"system's":[136],"round-to-nearest,":[140],"computes":[141],"result,":[145],"restores":[147],"application\u2019s":[149],"This":[152,162],"frequent":[153,180],"change":[154],"of":[155,258,264],"performance":[160,263],"cost.":[161],"paper":[163],"proposes":[164,199],"new":[166,195],"methods,":[167],"we":[169],"call":[170],"rounding-invariant":[171,174,196,232],"outputs":[172,197],"input":[175,233],"bounds,":[176],"avoid":[178],"dependence":[188],"on":[189],"First,":[193],"our":[194,231],"method":[198,235],"using":[200,245],"round-to-zero":[202,218],"implement":[206],"RLibm's":[207],"approximations.":[209],"We":[210],"propose":[211],"fast,":[212],"error-free":[213],"transformations":[214],"emulate":[216],"from":[220],"standard":[222],"changing":[226],"Second,":[230],"bounds":[234,247],"factors":[236],"error":[239],"due":[240],"different":[242,256],"interval":[246],"in":[248],"pipeline.":[251],"Both":[252],"make":[254],"set":[257],"trade-offs":[259],"improve":[261],"more":[268],"2X.":[270]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}