{"id":"https://openalex.org/W4416004523","doi":"https://doi.org/10.1145/3731599.3767479","title":"CIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations","display_name":"CIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations","publication_year":2025,"publication_date":"2025-11-07","ids":{"openalex":"https://openalex.org/W4416004523","doi":"https://doi.org/10.1145/3731599.3767479"},"language":null,"primary_location":{"id":"doi:10.1145/3731599.3767479","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3731599.3767479","pdf_url":null,"source":null,"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 SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3731599.3767479","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015791992","display_name":"Tanmay Tirpankar","orcid":"https://orcid.org/0000-0002-0049-5045"},"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":true,"raw_author_name":"Tanmay Tirpankar","raw_affiliation_strings":["University of Utah, SALT LAKE CITY, USA"],"raw_orcid":"https://orcid.org/0000-0002-0049-5045","affiliations":[{"raw_affiliation_string":"University of Utah, SALT LAKE CITY, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053325332","display_name":"Cayden Lund","orcid":"https://orcid.org/0009-0003-0285-3082"},"institutions":[{"id":"https://openalex.org/I2801837686","display_name":"American Fork Hospital","ror":"https://ror.org/04e4aky44","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I108785884","https://openalex.org/I2801837686"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cayden Lund","raw_affiliation_strings":["University of Utah, American Fork, USA"],"raw_orcid":"https://orcid.org/0009-0003-0285-3082","affiliations":[{"raw_affiliation_string":"University of Utah, American Fork, USA","institution_ids":["https://openalex.org/I2801837686"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103146139","display_name":"Ganesh Gopalakrishnan","orcid":"https://orcid.org/0000-0002-4161-9278"},"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":"Ganesh Gopalakrishnan","raw_affiliation_strings":["University of Utah, Salt Lake City, USA"],"raw_orcid":"https://orcid.org/0000-0002-4161-9278","affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, USA","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5015791992"],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.33055449,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1039","last_page":"1047"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9901999831199646,"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.9901999831199646,"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/T11034","display_name":"Digital Filter Design and Implementation","score":0.002199999988079071,"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"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.0010999999940395355,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8100000023841858},{"id":"https://openalex.org/keywords/rounding","display_name":"Rounding","score":0.7264999747276306},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5062999725341797},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.49880000948905945},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.4410000145435333},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.3409000039100647},{"id":"https://openalex.org/keywords/round-off-error","display_name":"Round-off error","score":0.3285999894142151},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.3231000006198883}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8709999918937683},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8100000023841858},{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.7264999747276306},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5799999833106995},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5062999725341797},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.49880000948905945},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44679999351501465},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.4410000145435333},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3822000026702881},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3691999912261963},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.36730000376701355},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.3409000039100647},{"id":"https://openalex.org/C61005703","wikidata":"https://www.wikidata.org/wiki/Q2145211","display_name":"Round-off error","level":2,"score":0.3285999894142151},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C3018824978","wikidata":"https://www.wikidata.org/wiki/Q2894891","display_name":"Error analysis","level":2,"score":0.31220000982284546},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2985000014305115},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.28850001096725464},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.2854999899864197},{"id":"https://openalex.org/C2778915421","wikidata":"https://www.wikidata.org/wiki/Q3643177","display_name":"Performance improvement","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25929999351501465},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.250900000333786},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3731599.3767479","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3731599.3767479","pdf_url":null,"source":null,"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 SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3731599.3767479","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3731599.3767479","pdf_url":null,"source":null,"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 SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W117463898","https://openalex.org/W605824955","https://openalex.org/W1521746323","https://openalex.org/W1999470254","https://openalex.org/W2020804487","https://openalex.org/W2061091230","https://openalex.org/W2062609317","https://openalex.org/W2079624081","https://openalex.org/W2103953062","https://openalex.org/W2122738744","https://openalex.org/W2159401583","https://openalex.org/W2169004268","https://openalex.org/W2226528584","https://openalex.org/W2887397219","https://openalex.org/W2904117297","https://openalex.org/W3118905376","https://openalex.org/W3129647355","https://openalex.org/W3164004581","https://openalex.org/W3207685501","https://openalex.org/W3210510236","https://openalex.org/W4246166885","https://openalex.org/W4307888166","https://openalex.org/W4396815785","https://openalex.org/W4411688932"],"related_works":[],"abstract_inverted_index":{"We":[0],"present":[1],"CiRE,":[2,20],"a":[3,85],"tool":[4],"that":[5],"computes":[6],"floating-point":[7],"rounding":[8],"error":[9,89],"for":[10,59,69,80],"basic":[11,107],"blocks":[12,108],"of":[13,76,105],"LLVM":[14],"codes":[15],"via":[16],"static":[17],"analysis.":[18],"Using":[19],"programmers":[21],"can":[22,54,93],"explore":[23],"different":[24,60],"mixed-precision":[25],"settings":[26],"and":[27,33,90],"compiler":[28],"optimizations":[29],"while":[30],"improving":[31],"performance":[32,49],"guarding":[34],"against":[35],"excessive":[36],"error.":[37],"Our":[38],"studies":[39],"using":[40],"CiRE":[41,92],"have":[42],"yielded":[43],"the":[44,70,74],"following":[45],"insights:":[46],"(1)":[47],"often,":[48],"as":[50,52],"well":[51],"accuracy":[53],"be":[55],"improved;":[56],"(2)":[57],"compilers":[58],"languages":[61],"produce":[62],"code":[63],"with":[64,96],"widely":[65],"varying":[66],"error,":[67],"even":[68],"same":[71],"expression;":[72],"(3)":[73],"choice":[75],"subexpressions":[77],"to":[78],"target":[79],"low":[81],"precision":[82],"allocation":[83],"has":[84],"huge":[86],"impact":[87],"on":[88],"performance.":[91],"analyze":[94],"expressions":[95],"105":[97],"or":[98],"more":[99],"operators,":[100],"thus":[101],"making":[102],"it":[103],"capable":[104],"analyzing":[106],"generated":[109],"by":[110],"unrolling":[111],"loops.":[112]},"counts_by_year":[],"updated_date":"2025-11-08T23:21:52.890332","created_date":"2025-11-07T00:00:00"}