{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T04:08:26Z","timestamp":1749701306668,"version":"3.41.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T00:00:00Z","timestamp":1742601600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T00:00:00Z","timestamp":1742601600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2023YFB3001601"],"award-info":[{"award-number":["2023YFB3001601"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["CCF Trans. HPC"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s42514-025-00214-5","type":"journal-article","created":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T08:37:34Z","timestamp":1742719054000},"page":"194-210","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An empirical study of error-free transformations for enhancing mathematical function precision"],"prefix":"10.1007","volume":"7","author":[{"given":"Dongting","family":"Chen","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0008-4688-5947","authenticated-orcid":false,"given":"Jie","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Chun","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Xin","family":"Yi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,3,22]]},"reference":[{"key":"214_CR1","unstructured":"Abdelfattah, A., Anzt, H., Boman, E.G., Carson, E.C., Cojean, T., Dongarra, J.J., Gates, M., Gr\u00fctzmacher, T., Higham, N.J., Li, S., Lindquist, N., Liu, Y., Loe, J.A., Luszczek, P., Nayak, P., Pranesh, S., Rajamanickam, S., Ribizel, T., Smith, B., Swirydowicz, K., Thomas, S.J., Tomov, S., Tsai, Y.M., Yamazaki, I., Yang, U.M.: A survey of numerical methods utilizing mixed precision arithmetic (2020). ArXiv arXiv:2007.06674"},{"issue":"6","key":"214_CR2","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/2345156.2254118","volume":"47","author":"F Benz","year":"2012","unstructured":"Benz, F., Hildebrandt, A., Hack, S.: A dynamic program analysis to find floating-point accuracy problems. SIGPLAN Not. 47(6), 453\u2013462 (2012). https:\/\/doi.org\/10.1145\/2345156.2254118","journal-title":"SIGPLAN Not."},{"key":"214_CR3","doi-asserted-by":"crossref","unstructured":"Boldo, S., Daumas, M.: Representable correcting terms for possibly underflowing floating point operations. In: Proceedings 2003 16th IEEE Symposium on Computer Arithmetic, pp. 79\u201386 (2003). IEEE","DOI":"10.1109\/ARITH.2003.1207663"},{"key":"214_CR4","doi-asserted-by":"publisher","unstructured":"Chowdhary, S., Nagarakatte, S.: Parallel shadow execution to accelerate the debugging of numerical errors. In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ESEC\/FSE 2021, pp. 615\u2013626. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3468264.3468585","DOI":"10.1145\/3468264.3468585"},{"issue":"OOPSLA2","key":"214_CR5","doi-asserted-by":"publisher","first-page":"1845","DOI":"10.1145\/3563353","volume":"6","author":"S Chowdhary","year":"2022","unstructured":"Chowdhary, S., Nagarakatte, S.: Fast shadow execution for debugging numerical errors using error free transformations. Proc. ACM Program. Lang. 6(OOPSLA2), 1845\u20131872 (2022). https:\/\/doi.org\/10.1145\/3563353","journal-title":"Proc. ACM Program. Lang."},{"key":"214_CR6","doi-asserted-by":"publisher","unstructured":"Damouche, N., Martel, M.: Salsa: an automatic tool to improve the numerical accuracy of programs. In: Shankar, N., Dutertre, B. (eds.) Automated Formal Methods. Kalpa Publications in Computing, vol. 5, pp. 63\u201376. EasyChair (2018). https:\/\/doi.org\/10.29007\/j2fd","DOI":"10.29007\/j2fd"},{"issue":"3","key":"214_CR7","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BF01397083","volume":"18","author":"TJ Dekker","year":"1971","unstructured":"Dekker, T.J.: A floating-point technique for extending the available precision. Numer. Math. 18(3), 224\u2013242 (1971)","journal-title":"Numer. Math."},{"key":"214_CR8","unstructured":"Demeure, N.: Compromise between precision and performance in high performance computing. Ph.D. thesis, \u00c9cole Normale sup\u00e9rieure Paris-Saclay (2021)"},{"key":"214_CR9","unstructured":"Donald, E., et al.: The Art of Computer Programming, Volume 2: Seminumerical Algorithms, 3rd edn. Addison-Wesley (1997)"},{"issue":"2","key":"214_CR10","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1236463.1236468","volume":"33","author":"L Fousse","year":"2007","unstructured":"Fousse, L., Hanrot, G., Lef\u00e8vre, V., P\u00e9lissier, P., Zimmermann, P.: Mpfr: a multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33(2), 13 (2007). https:\/\/doi.org\/10.1145\/1236463.1236468","journal-title":"ACM Trans. Math. Softw."},{"key":"214_CR11","unstructured":"Galassi, M., Davies, J., Theiler, J., Gough, B., Jungman, G., Alken, P., Booth, M., Rossi, F., Ulerich, R.: GNU Scientific Library. Network Theory Limited Godalming (2002)"},{"key":"214_CR12","unstructured":"GNU Project: The GNU C Library. Free Software Foundation. Free Software Foundation. The GCC Quad-Precision Math Library (2023). https:\/\/gcc.gnu.org\/onlinedocs\/libquadmath"},{"issue":"1","key":"214_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"D Goldberg","year":"1991","unstructured":"Goldberg, D.: What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23(1), 5\u201348 (1991). https:\/\/doi.org\/10.1145\/103162.103163","journal-title":"ACM Comput. Surv."},{"key":"214_CR14","unstructured":"Granlund, T.: GNU MP 6.0 Multiple Precision Arithmetic Library. Samurai Media Limited (2015)"},{"key":"214_CR15","doi-asserted-by":"publisher","unstructured":"Guo, H., Rubio-Gonz\u00e1lez, C.: Efficient generation of error-inducing floating-point inputs via symbolic execution. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering. ICSE \u201920, pp. 1261\u20131272. Association for Computing Machinery, New York (2020). https:\/\/doi.org\/10.1145\/3377811.3380359","DOI":"10.1145\/3377811.3380359"},{"issue":"1","key":"214_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0377-0427(99)00153-3","volume":"109","author":"PH Hauschildt","year":"1999","unstructured":"Hauschildt, P.H., Baron, E.: Numerical solution of the expanding stellar atmosphere problem. J. Comput. Appl. Math. 109(1), 41\u201363 (1999). https:\/\/doi.org\/10.1016\/S0377-0427(99)00153-3","journal-title":"J. Comput. Appl. Math."},{"key":"214_CR17","doi-asserted-by":"publisher","unstructured":"He, Y., Ding, C.H.Q.: Using accurate arithmetics to improve numerical reproducibility and stability in parallel applications. In: Proceedings of the 14th International Conference on Supercomputing. ICS \u201900, pp. 225\u2013234. Association for Computing Machinery, New York (2000). https:\/\/doi.org\/10.1145\/335231.335253","DOI":"10.1145\/335231.335253"},{"key":"214_CR18","doi-asserted-by":"publisher","unstructured":"IEEE: IEEE standard for floating-point arithmetic. IEEE Std 754-2019 (Revision of IEEE 754-2008), pp. 1\u201384 (2019). https:\/\/doi.org\/10.1109\/IEEESTD.2019.8766229","DOI":"10.1109\/IEEESTD.2019.8766229"},{"issue":"1","key":"214_CR19","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/363707.363723","volume":"8","author":"W Kahan","year":"1965","unstructured":"Kahan, W.: Pracniques: further remarks on reducing truncation errors. Commun. ACM 8(1), 40 (1965)","journal-title":"Commun. ACM"},{"key":"214_CR20","unstructured":"Kalamkar, D., Mudigere, D., Mellempudi, N., Das, D., Banerjee, K., Avancha, S., Vooturi, D.T., Jammalamadaka, N., Huang, J., Yuen, H., et al.: A study of bfloat16 for deep learning training (2019). arXiv preprint arXiv:1905.12322"},{"issue":"1","key":"214_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1644001.1644005","volume":"37","author":"P Kornerup","year":"2010","unstructured":"Kornerup, P., Lauter, C., Lefevre, V., Louvet, N., Muller, J.-M.: Computing correctly rounded integer powers in floating-point arithmetic. ACM Trans. Math. Softw. (TOMS) 37(1), 1\u201323 (2010)","journal-title":"ACM Trans. Math. Softw. (TOMS)"},{"key":"214_CR22","doi-asserted-by":"crossref","unstructured":"Ma, D., Saunders, M.A.: Solving multiscale linear programs using the simplex method in quadruple precision. In: Numerical Analysis and Optimization: NAO-III, Muscat, Oman, January 2014, pp. 223\u2013235. Springer (2015)","DOI":"10.1007\/978-3-319-17689-5_9"},{"key":"214_CR23","doi-asserted-by":"crossref","unstructured":"Mukunoki, D., Ozaki, K., Ogita, T., Imamura, T.: Accurate matrix multiplication on binary128 format accelerated by Ozaki scheme. In: Proceedings of the 50th International Conference on Parallel Processing, pp. 1\u201311 (2021a)","DOI":"10.1145\/3472456.3472493"},{"key":"214_CR24","doi-asserted-by":"crossref","unstructured":"Mukunoki, D., Ozaki, K., Ogita, T., Iakymchuk, R.: Conjugate gradient solvers with high accuracy and bit-wise reproducibility between CPU and GPU using Ozaki scheme. In: The International Conference on High Performance Computing in Asia-Pacific Region, pp. 100\u2013109 (2021b)","DOI":"10.1145\/3432261.3432270"},{"key":"214_CR25","doi-asserted-by":"publisher","unstructured":"Muller, J.-M., Brisebarre, N., Dinechin, F., Jeannerod, C.-P., Lef\u00e8vre, V., Melquiond, G., Revol, N., Stehl\u00e9, D., Torres, S.: Handbook of Floating-Point Arithmetic. Springer (2010). https:\/\/doi.org\/10.1007\/978-0-8176-4705-6","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"214_CR26","doi-asserted-by":"publisher","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI \u201907, pp. 89\u2013100. Association for Computing Machinery, New York (2007). https:\/\/doi.org\/10.1145\/1250734.1250746","DOI":"10.1145\/1250734.1250746"},{"issue":"6","key":"214_CR27","doi-asserted-by":"publisher","first-page":"1955","DOI":"10.1137\/030601818","volume":"26","author":"T Ogita","year":"2005","unstructured":"Ogita, T., Rump, S.M., Oishi, S.: Accurate sum and dot product. SIAM J. Sci. Comput. 26(6), 1955\u20131988 (2005)","journal-title":"SIAM J. Sci. Comput."},{"key":"214_CR28","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11075-011-9478-1","volume":"59","author":"K Ozaki","year":"2012","unstructured":"Ozaki, K., Ogita, T., Oishi, S., Rump, S.M.: Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. Numer. Algorithms 59, 95\u2013118 (2012)","journal-title":"Numer. Algorithms"},{"key":"214_CR29","doi-asserted-by":"publisher","unstructured":"Panchekha, P., Sanchez-Stern, A., Wilcox, J.R., Tatlock, Z.: Automatically improving accuracy for floating point expressions. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI \u201915, pp. 1\u201311. Association for Computing Machinery, New York (2015). https:\/\/doi.org\/10.1145\/2737924.2737959","DOI":"10.1145\/2737924.2737959"},{"issue":"4","key":"214_CR30","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/3296979.3192411","volume":"53","author":"A Sanchez-Stern","year":"2018","unstructured":"Sanchez-Stern, A., Panchekha, P., Lerner, S., Tatlock, Z.: Finding root causes of floating point error. SIGPLAN Not. 53(4), 256\u2013269 (2018). https:\/\/doi.org\/10.1145\/3296979.3192411","journal-title":"SIGPLAN Not."},{"key":"214_CR31","unstructured":"team, T.: Mpmath: a Python library for arbitrary-precision floating-point arithmetic (version 1.3.0) (2023). http:\/\/mpmath.org\/"},{"key":"214_CR32","doi-asserted-by":"publisher","unstructured":"Th\u00e9venoux, L., Langlois, P., Martel, M.: Automatic source-to-source error compensation of floating-point programs. In: 2015 IEEE 18th International Conference on Computational Science and Engineering, pp. 9\u201316 (2015). https:\/\/doi.org\/10.1109\/CSE.2015.11","DOI":"10.1109\/CSE.2015.11"},{"issue":"7","key":"214_CR33","doi-asserted-by":"publisher","first-page":"3953","DOI":"10.1002\/cpe.3953","volume":"29","author":"L Th\u00e9venoux","year":"2017","unstructured":"Th\u00e9venoux, L., Langlois, P., Martel, M.: Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time. Concurr. Comput. Pract. Exp. 29(7), 3953 (2017)","journal-title":"Concurr. Comput. Pract. Exp."},{"issue":"6\u20138","key":"214_CR34","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/j.parco.2008.02.002","volume":"34","author":"N Yamanaka","year":"2008","unstructured":"Yamanaka, N., Ogita, T., Rump, S.M., Oishi, S.: A parallel algorithm for accurate dot product. Parallel Comput. 34(6\u20138), 392\u2013410 (2008)","journal-title":"Parallel Comput."},{"issue":"POPL","key":"214_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3290369","volume":"3","author":"X Yi","year":"2019","unstructured":"Yi, X., Chen, L., Mao, X., Ji, T.: Efficient automated repair of high floating-point errors in numerical libraries. Proc. ACM Program. Lang. 3(POPL), 1\u201329 (2019). https:\/\/doi.org\/10.1145\/3290369","journal-title":"Proc. ACM Program. Lang."},{"issue":"POPL","key":"214_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3371128","volume":"4","author":"D Zou","year":"2019","unstructured":"Zou, D., Zeng, M., Xiong, Y., Fu, Z., Zhang, L., Su, Z.: Detecting floating-point errors via atomic conditions. Proc. ACM Program. Lang. 4(POPL), 1\u201327 (2019). https:\/\/doi.org\/10.1145\/3371128","journal-title":"Proc. ACM Program. Lang."},{"issue":"OOPSLA2","key":"214_CR37","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1145\/3563322","volume":"6","author":"D Zou","year":"2022","unstructured":"Zou, D., Gu, Y., Shi, Y., Wang, M., Xiong, Y., Su, Z.: Oracle-free repair synthesis for floating-point programs. Proc. ACM Program. Lang. 6(OOPSLA2), 957\u2013985 (2022). https:\/\/doi.org\/10.1145\/3563322","journal-title":"Proc. ACM Program. Lang."}],"container-title":["CCF Transactions on High Performance Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42514-025-00214-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42514-025-00214-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42514-025-00214-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T08:48:53Z","timestamp":1749631733000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42514-025-00214-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,22]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["214"],"URL":"https:\/\/doi.org\/10.1007\/s42514-025-00214-5","relation":{},"ISSN":["2524-4922","2524-4930"],"issn-type":[{"type":"print","value":"2524-4922"},{"type":"electronic","value":"2524-4930"}],"subject":[],"published":{"date-parts":[[2025,3,22]]},"assertion":[{"value":"7 August 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 January 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 March 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"On behalf of all authors, the corresponding author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}