{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T13:40:12Z","timestamp":1755870012576,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,8]]},"DOI":"10.1145\/3721145.3730432","type":"proceedings-article","created":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T12:57:17Z","timestamp":1755867437000},"page":"734-748","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Light-FP: Analyze Floating-Point Error in a Highly Condensed Approach"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-8260-6723","authenticated-orcid":false,"given":"Jiazhi","family":"Mi","sequence":"first","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China and University of Chinese Academy of Sciences, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7333-8393","authenticated-orcid":false,"given":"Li","family":"Chen","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China and Laboratory for Advanced Computing and Intelligence Engineering, Wuxi, Jiangsu, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0519-6940","authenticated-orcid":false,"given":"Haoyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China and University of Chinese Academy of Sciences, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8259-2228","authenticated-orcid":false,"given":"Ruixiang","family":"Gao","sequence":"additional","affiliation":[{"name":"Shandong University of Science and Technology, Qingdao, Shandong, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-0109-4700","authenticated-orcid":false,"given":"Hongze","family":"Zhang","sequence":"additional","affiliation":[{"name":"Shandong University of Science and Technology, Qingdao, Shandong, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6966-8953","authenticated-orcid":false,"given":"Ronghong","family":"Shen","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China and University of Chinese Academy of Sciences, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4756-2176","authenticated-orcid":false,"given":"Kai","family":"Lin","sequence":"additional","affiliation":[{"name":"Beijing Institute of Technology, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7809-4233","authenticated-orcid":false,"given":"You","family":"Fu","sequence":"additional","affiliation":[{"name":"Shandong University of Science and Technology, Qingdao, Shandong, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2491-7679","authenticated-orcid":false,"given":"Huimin","family":"Cui","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China and University of Chinese Academy of Sciences, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2025,8,22]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/ExaMPI49596.2019.00007"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Marc Baboulin Alfredo Buttari Jack Dongarra Jakub Kurzak Julie Langou Julien Langou Piotr Luszczek and Stanimire Tomov. 2009. Accelerating scientific computations with mixed precision algorithms. Computer Physics Communications 180 12 (2009) 2526\u20132533.","DOI":"10.1016\/j.cpc.2008.11.005"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.5555\/3433701.3433767"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29400-7_34"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Wei-Fan Chiang Mark Baranowski Ian Briggs Alexey Solovyev Ganesh Gopalakrishnan and Zvonimir Rakamari\u0107. 2017. Rigorous floating-point mixed-precision tuning. ACM SIGPLAN Notices 52 1 (2017) 300\u2013315.","DOI":"10.1145\/3093333.3009846"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Eva Darulova Einar Horn and Saksham Sharma. 2018. Sound mixed-precision optimization with rewriting. In 2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).","DOI":"10.1109\/ICCPS.2018.00028"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_15"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535874"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Eva Darulova and Viktor Kuncak. 2017. Towards a compiler for reals. ACM Transactions on Programming Languages and Systems (TOPLAS) 39 2 (2017) 1\u201328.","DOI":"10.1145\/3014426"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141584"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Andreas Griewank. 1992. Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation. Optimization Methods and software 1 1 (1992) 35\u201354.","DOI":"10.1080\/10556789208805505"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213862"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213862"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Laurent Hascoet and Val\u00e9rie Pascual. 2013. The Tapenade automatic differentiation tool: principles model and specification. ACM Transactions on Mathematical Software (TOMS) 39 3 (2013) 1\u201343.","DOI":"10.1145\/2450153.2450158"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20656-7_12"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Michael\u00a0O Lam and Jeffrey\u00a0K Hollingsworth. 2018. Fine-grained floating-point precision analysis. The International Journal of High Performance Computing Applications 32 2 (2018) 231\u2013245.","DOI":"10.1177\/1094342016652462"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2465018"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness49594.2019.00009"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISLPED58423.2023.10244539"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772987"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2018.00051"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Arnold Neumaier. 2003. Taylor forms\u2014use and limits. Reliable computing 9 1 (2003) 43\u201379.","DOI":"10.1023\/A:1023061927787"},{"key":"e_1_3_3_1_24_2","unstructured":"Cuong Nguyen. 2015. A Dynamic Analysis for Tuning Floating-point Precision. (2015)."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC50251.2020.00012"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"e_1_3_3_1_27_2","volume-title":"PPSC","author":"Saphir William","year":"1997","unstructured":"William Saphir, Rob\u00a0F Van\u00a0der Wijngaart, Alex Woo, and Maurice Yarrow. 1997. New Implementations and Results for the NAS Parallel Benchmarks 2.. In PPSC. Citeseer."},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS54959.2023.00105"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"Jeffrey\u00a0Mark Siskind and Barak\u00a0A Pearlmutter. 2018. Divide-and-conquer checkpointing for arbitrary programs with no user annotation. Optimization Methods and Software 33 4-6 (2018) 1288\u20131330.","DOI":"10.1080\/10556788.2018.1459621"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"crossref","unstructured":"Alexey Solovyev Marek\u00a0S Baranowski Ian Briggs Charles Jacobsen Zvonimir Rakamari\u0107 and Ganesh Gopalakrishnan. 2018. Rigorous estimation of floating-point round-off errors with symbolic taylor expansions. ACM Transactions on Programming Languages and Systems (TOPLAS) 41 1 (2018) 1\u201339.","DOI":"10.1145\/3230733"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Alexey Solovyev Marek\u00a0S Baranowski Ian Briggs Charles Jacobsen Zvonimir Rakamari\u0107 and Ganesh Gopalakrishnan. 2018. Rigorous estimation of floating-point round-off errors with symbolic taylor expansions. ACM Transactions on Programming Languages and Systems (TOPLAS) 41 1 (2018) 1\u201339.","DOI":"10.1145\/3230733"},{"key":"e_1_3_3_1_32_2","first-page":"012055","volume-title":"Journal of Physics: Conference Series","volume":"608","author":"Vassilev Vassilev","year":"2015","unstructured":"Vassilev Vassilev, M Vassilev, A Penev, L Moneta, and V Ilieva. 2015. Clad\u2014automatic differentiation using clang and LLVM. In Journal of Physics: Conference Series , Vol.\u00a0608. IOP Publishing, 012055."}],"event":{"name":"ICS '25: 2025 International Conference on Supercomputing","location":"Salt Lake City USA","acronym":"ICS '25","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 39th ACM International Conference on Supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3721145.3730432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T13:01:11Z","timestamp":1755867671000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3721145.3730432"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,8]]},"references-count":31,"alternative-id":["10.1145\/3721145.3730432","10.1145\/3721145"],"URL":"https:\/\/doi.org\/10.1145\/3721145.3730432","relation":{},"subject":[],"published":{"date-parts":[[2025,6,8]]},"assertion":[{"value":"2025-08-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}