{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:48:38Z","timestamp":1760042918962,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523452","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"522-535","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Choosing mathematical function implementations for speed and accuracy"],"prefix":"10.1145","author":[{"given":"Ian","family":"Briggs","sequence":"first","affiliation":[{"name":"University of Utah, USA"}]},{"given":"Pavel","family":"Panchekha","sequence":"additional","affiliation":[{"name":"University of Utah, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AMD. 2021. AMD Math Library (LibM). https:\/\/developer.amd.com\/amd-aocl\/amd-math-library-libm\/  AMD. 2021. AMD Math Library (LibM). https:\/\/developer.amd.com\/amd-aocl\/amd-math-library-libm\/"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806620"},{"key":"e_1_3_2_1_3_1","article-title":"TTHRESH: Tensor Compression for Multidimensional Visual Data","author":"Ballester-Ripoll Rafael","year":"2019","unstructured":"Rafael Ballester-Ripoll , Peter Lindstrom , and Renato Pajarola . 2019 . TTHRESH: Tensor Compression for Multidimensional Visual Data . IEEE Transaction on Visualization and Computer Graphics. Rafael Ballester-Ripoll, Peter Lindstrom, and Renato Pajarola. 2019. TTHRESH: Tensor Compression for Multidimensional Visual Data. IEEE Transaction on Visualization and Computer Graphics.","journal-title":"IEEE Transaction on Visualization and Computer Graphics."},{"volume-title":"Lossy","author":"Ballester-Ripoll Rafael","key":"e_1_3_2_1_4_1","unstructured":"Rafael Ballester-Ripoll and Renato Pajarola . 2015. Lossy volume compression using Tucker truncation and thresholding. The Visual Computer, 1\u2013 14 . issn:0178-2789 Publisher : Springer Berlin Heidelberg . Rafael Ballester-Ripoll and Renato Pajarola. 2015. Lossy volume compression using Tucker truncation and thresholding. The Visual Computer, 1\u201314. issn:0178-2789 Publisher: Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.29007\/f4f3"},{"key":"e_1_3_2_1_6_1","volume-title":"Posit: A Potential Replacement for IEEE 754. https:\/\/www.sigarch.org\/posit-a-potential-replacement-for-ieee-754\/","author":"Behnam Payman","year":"2020","unstructured":"Payman Behnam and Mahdi Bojnordi . 2020 . Posit: A Potential Replacement for IEEE 754. https:\/\/www.sigarch.org\/posit-a-potential-replacement-for-ieee-754\/ Payman Behnam and Mahdi Bojnordi. 2020. Posit: A Potential Replacement for IEEE 754. https:\/\/www.sigarch.org\/posit-a-potential-replacement-for-ieee-754\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009846"},{"key":"e_1_3_2_1_8_1","volume-title":"Software Manual for the Elementary Functions","author":"Cody William James","year":"2064","unstructured":"William James Cody . 1980. Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics). Prentice-Hall , Inc., USA. isbn:978-0-13-82 2064 -8 William James Cody. 1980. Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics). Prentice-Hall, Inc., USA. isbn:978-0-13-822064-8"},{"key":"e_1_3_2_1_9_1","volume-title":"Consistency of floating-point results using the intel compiler or why doesn\u2019t my application always give the same answer","author":"Corden Martyn J","year":"2018","unstructured":"Martyn J Corden and David Kreitzer . 2009. Consistency of floating-point results using the intel compiler or why doesn\u2019t my application always give the same answer . Intel Corp., Software Solutions Group , Santa Clara, CA, USA, Tech. Rep, http:\/\/rc.dartmouth.edu\/wp-content\/uploads\/ 2018 \/03\/FP_Consistency_12.pdf Martyn J Corden and David Kreitzer. 2009. Consistency of floating-point results using the intel compiler or why doesn\u2019t my application always give the same answer. Intel Corp., Software Solutions Group, Santa Clara, CA, USA, Tech. Rep, http:\/\/rc.dartmouth.edu\/wp-content\/uploads\/2018\/03\/FP_Consistency_12.pdf"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.29007\/j2fd"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Nasrine Damouche Matthieu Martel Pavel Panchekha Jason Qiu Alex Sanchez-Stern and Zachary Tatlock. 2016. Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. July.  Nasrine Damouche Matthieu Martel Pavel Panchekha Jason Qiu Alex Sanchez-Stern and Zachary Tatlock. 2016. Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. July.","DOI":"10.1007\/978-3-319-54292-8_6"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1117\/12.505591"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00028"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_11"},{"key":"e_1_3_2_1_15_1","volume-title":"Pushing the Limits of Narrow Precision Inferencing at Cloud Scale with Microsoft Floating Point. Advances in Neural Information Processing Systems, 33","author":"Rouhani Bita Darvish","year":"2020","unstructured":"Bita Darvish Rouhani , Daniel Lo , Ritchie Zhao , Ming Liu , Jeremy Fowers , Kalin Ovtcharov , Anna Vinogradsky , Sarah Massengill , Lita Yang , Ray Bittner , and others. 2020. Pushing the Limits of Narrow Precision Inferencing at Cloud Scale with Microsoft Floating Point. Advances in Neural Information Processing Systems, 33 ( 2020 ). Bita Darvish Rouhani, Daniel Lo, Ritchie Zhao, Ming Liu, Jeremy Fowers, Kalin Ovtcharov, Anna Vinogradsky, Sarah Massengill, Lita Yang, Ray Bittner, and others. 2020. Pushing the Limits of Narrow Precision Inferencing at Cloud Scale with Microsoft Floating Point. Advances in Neural Information Processing Systems, 33 (2020)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00055"},{"key":"e_1_3_2_1_17_1","unstructured":"Bruce Dawson. 2014. Intel Underestimates Error Bounds by 1.3 quintillion. https:\/\/randomascii.wordpress.com\/2014\/10\/09\/intel-underestimates-error-bounds-by-1-3-quintillion\/  Bruce Dawson. 2014. Intel Underestimates Error Bounds by 1.3 quintillion. https:\/\/randomascii.wordpress.com\/2014\/10\/09\/intel-underestimates-error-bounds-by-1-3-quintillion\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"volume-title":"Errors in Math Functions","author":"FSF.","key":"e_1_3_2_1_20_1","unstructured":"FSF. 2020. Errors in Math Functions ( The GNU C Library) . https:\/\/www.gnu.org\/software\/libc\/manual\/html_node\/Errors-in-Math-Functions.html FSF. 2020. Errors in Math Functions (The GNU C Library). https:\/\/www.gnu.org\/software\/libc\/manual\/html_node\/Errors-in-Math-Functions.html"},{"key":"e_1_3_2_1_21_1","unstructured":"FSF. 2020. The GNU C Library. https:\/\/www.gnu.org\/software\/libc\/manual\/  FSF. 2020. The GNU C Library. https:\/\/www.gnu.org\/software\/libc\/manual\/"},{"key":"e_1_3_2_1_22_1","unstructured":"Robin Green. 2002. Faster math functions. In Tutorial at Game Developers Conference. 81.  Robin Green. 2002. Faster math functions. In Tutorial at Game Developers Conference. 81."},{"key":"e_1_3_2_1_23_1","unstructured":"Robin Green. 2020. Even Faster Math Functions. https:\/\/basesandframes.wordpress.com\/2020\/04\/04\/even-faster-math-functions\/  Robin Green. 2020. Even Faster Math Functions. https:\/\/basesandframes.wordpress.com\/2020\/04\/04\/even-faster-math-functions\/"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213862"},{"volume-title":"Numerical Methods for Scientists and Engineers","author":"Hamming Richard Wesley","key":"e_1_3_2_1_25_1","unstructured":"Richard Wesley Hamming . 1986. Numerical Methods for Scientists and Engineers . Courier Corporation. isbn:978-0-486-65241-2 Google-Books-ID : Y3YSCmWBVwoC. Richard Wesley Hamming. 1986. Numerical Methods for Scientists and Engineers. Courier Corporation. isbn:978-0-486-65241-2 Google-Books-ID: Y3YSCmWBVwoC."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718027"},{"key":"e_1_3_2_1_27_1","unstructured":"Jim Holsenback. 2012. Reference:Photons. https:\/\/wiki.povray.org\/content\/Reference:Photons  Jim Holsenback. 2012. Reference:Photons. https:\/\/wiki.povray.org\/content\/Reference:Photons"},{"key":"e_1_3_2_1_28_1","unstructured":"Intel. 2020. Intel-Optimized Math Library for Numerical Computing. http:\/\/software.intel.com\/en-us\/intel-mkl  Intel. 2020. Intel-Optimized Math Library for Numerical Computing. http:\/\/software.intel.com\/en-us\/intel-mkl"},{"key":"e_1_3_2_1_29_1","unstructured":"Intui. 2022. Improve the performance of expf. https:\/\/github.com\/llvm\/llvm-project\/commit\/6168b422258e41087a5393b7b77a7349a8922a68  Intui. 2022. Improve the performance of expf. https:\/\/github.com\/llvm\/llvm-project\/commit\/6168b422258e41087a5393b7b77a7349a8922a68"},{"key":"e_1_3_2_1_30_1","unstructured":"Julia Math Project. 2021. JuliaMath\/OpenLibm. https:\/\/github.com\/JuliaMath\/openlibm  Julia Math Project. 2021. JuliaMath\/OpenLibm. https:\/\/github.com\/JuliaMath\/openlibm"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings. US Army Research Office., 175","author":"Kahan William","year":"1967","unstructured":"William Kahan . 1967 . 7094-11 System support for numerical analysis . In Proceedings. US Army Research Office., 175 . William Kahan. 1967. 7094-11 System support for numerical analysis. In Proceedings. US Army Research Office., 175."},{"key":"e_1_3_2_1_32_1","unstructured":"William Kahan. 2004. A Logarithm Too Clever by Half. http:\/\/people.eecs.berkeley.edu\/~wkahan\/LOG10HAF.TXT  William Kahan. 2004. A Logarithm Too Clever by Half. http:\/\/people.eecs.berkeley.edu\/~wkahan\/LOG10HAF.TXT"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44199-2_106"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2465018"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908107"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158135"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01457454"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Jay P Lim Mridul Aanjaneya John Gustafson and Santosh Nagarakatte. 2020. A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations. arXiv preprint arXiv:2007.05344.  Jay P Lim Mridul Aanjaneya John Gustafson and Santosh Nagarakatte. 2020. A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations. arXiv preprint arXiv:2007.05344.","DOI":"10.1145\/3434310"},{"key":"e_1_3_2_1_39_1","volume-title":"Lim and Santosh Nagarakatte","author":"Jay","year":"2021","unstructured":"Jay P. Lim and Santosh Nagarakatte . 2021 . RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. CoRR , abs\/2108.06756 (2021), arXiv:2108.06756. arxiv:2108.06756 Jay P. Lim and Santosh Nagarakatte. 2021. RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. CoRR, abs\/2108.06756 (2021), arXiv:2108.06756. arxiv:2108.06756"},{"key":"e_1_3_2_1_40_1","unstructured":"Darryl D. Lin Sachin S. Talathi and V. Sreekanth Annapureddy. 2016. Fixed Point Quantization of Deep Convolutional Networks. arXiv:1511.06393 [cs] June arxiv:1511.06393 arXiv: 1511.06393.  Darryl D. Lin Sachin S. Talathi and V. Sreekanth Annapureddy. 2016. Fixed Point Quantization of Deep Convolutional Networks. arXiv:1511.06393 [cs] June arxiv:1511.06393 arXiv: 1511.06393."},{"key":"e_1_3_2_1_41_1","unstructured":"Robert Mayans. 2006. The Chebyshev Equioscillation Theorem | Mathematical Association of America. https:\/\/www.maa.org\/press\/periodicals\/loci\/joma\/the-chebyshev-equioscillation-theorem  Robert Mayans. 2006. The Chebyshev Equioscillation Theorem | Mathematical Association of America. https:\/\/www.maa.org\/press\/periodicals\/loci\/joma\/the-chebyshev-equioscillation-theorem"},{"key":"e_1_3_2_1_42_1","unstructured":"Stephen L Moshier. 1992. Cephes mathematical library. http:\/\/www.netlib.org\/cephes\/  Stephen L Moshier. 1992. Cephes mathematical library. http:\/\/www.netlib.org\/cephes\/"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-7983-4"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10543-009-0240-1"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/513\/5\/052027"},{"key":"e_1_3_2_1_47_1","volume-title":"Proc. of Spring Conf. on Computer Graphics","author":"Plachetka Tomas","year":"1998","unstructured":"Tomas Plachetka . 1998 . POV Ray: persistence of vision parallel raytracer . In Proc. of Spring Conf. on Computer Graphics , Budmerice, Slovakia. 123. Tomas Plachetka. 1998. POV Ray: persistence of vision parallel raytracer. In Proc. of Spring Conf. on Computer Graphics, Budmerice, Slovakia. 123."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884850"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"e_1_3_2_1_50_1","volume-title":"Sollya: An Environment for the Development of Numerical Codes. In Mathematical Software - ICMS","author":"Chevillard S.","year":"2010","unstructured":"S. Chevillard , M. Jolde\u015f , and C. Lauter . 2010 . Sollya: An Environment for the Development of Numerical Codes. In Mathematical Software - ICMS 2010, K. Fukuda, J. van der Hoeven, M. Joswig, and N. Takayama (Eds.) (Lecture Notes in Computer Science , Vol. 6327). Springer, Heidelberg, Germany. 28\u2013 31 . S. Chevillard, M. Jolde\u015f, and C. Lauter. 2010. Sollya: An Environment for the Development of Numerical Codes. In Mathematical Software - ICMS 2010, K. Fukuda, J. van der Hoeven, M. Joswig, and N. Takayama (Eds.) (Lecture Notes in Computer Science, Vol. 6327). Springer, Heidelberg, Germany. 28\u201331."},{"key":"e_1_3_2_1_51_1","volume-title":"Combining Precision Tuning and Rewriting. In 2021 IEEE 28th Symposium on Computer Arithmetic (ARITH).","author":"Saiki Brett","year":"2021","unstructured":"Brett Saiki , Oliver Flatt , Chandrakana Nandi , Pavel Panchekha , and Zachary Tatlock . 2021 . Combining Precision Tuning and Rewriting. In 2021 IEEE 28th Symposium on Computer Arithmetic (ARITH). Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, and Zachary Tatlock. 2021. Combining Precision Tuning and Rewriting. In 2021 IEEE 28th Symposium on Computer Arithmetic (ARITH)."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594302"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230733"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397380"},{"key":"e_1_3_2_1_55_1","unstructured":"VC. 2021. VC SIMD Vector Classes for C++. https:\/\/vcdevel.github.io\/Vc-1.3\/group__Math.html  VC. 2021. VC SIMD Vector Classes for C++. https:\/\/vcdevel.github.io\/Vc-1.3\/group__Math.html"},{"key":"e_1_3_2_1_56_1","unstructured":"Shibo Wang and Pankaj Kanwar. 2019. BFloat16: The secret to high performance on Cloud TPUs. https:\/\/cloud.google.com\/blog\/products\/ai-machine-learning\/bfloat16-the-secret-to-high-performance-on-cloud-tpus\/  Shibo Wang and Pankaj Kanwar. 2019. BFloat16: The secret to high performance on Cloud TPUs. https:\/\/cloud.google.com\/blog\/products\/ai-machine-learning\/bfloat16-the-secret-to-high-performance-on-cloud-tpus\/"},{"key":"e_1_3_2_1_57_1","volume-title":"Image quality assessment: from error visibility to structural similarity","author":"Wang Zhou","year":"2004","unstructured":"Zhou Wang , Alan C Bovik , Hamid R Sheikh , and Eero P Simoncelli . 2004. Image quality assessment: from error visibility to structural similarity . IEEE transactions on image processing, 13, 4 ( 2004 ), 600\u2013612. Zhou Wang, Alan C Bovik, Hamid R Sheikh, and Eero P Simoncelli. 2004. Image quality assessment: from error visibility to structural similarity. IEEE transactions on image processing, 13, 4 (2004), 600\u2013612."},{"key":"e_1_3_2_1_58_1","unstructured":"Paul Zimmermann. 2021. Accuracy of Mathematical Functions in Single Double Extended Double and Quadruple Precision. Feb. https:\/\/hal.inria.fr\/hal-03141101 working paper or preprint.  Paul Zimmermann. 2021. Accuracy of Mathematical Functions in Single Double Extended Double and Quadruple Precision. Feb. https:\/\/hal.inria.fr\/hal-03141101 working paper or preprint."}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"San Diego CA USA","acronym":"PLDI '22"},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523452","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":58,"alternative-id":["10.1145\/3519939.3523452","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523452","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}