{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:24:46Z","timestamp":1771698286243,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T00:00:00Z","timestamp":1370822400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6,10]]},"DOI":"10.1145\/2464996.2465018","type":"proceedings-article","created":{"date-parts":[[2013,5,28]],"date-time":"2013-05-28T16:35:41Z","timestamp":1369758941000},"page":"369-378","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":90,"title":["Automatically adapting programs for mixed-precision floating-point computation"],"prefix":"10.1145","author":[{"given":"Michael O.","family":"Lam","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey K.","family":"Hollingsworth","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bronis R.","family":"de Supinski","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew P.","family":"Legendre","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, Livermore, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/asc.llnl.gov\/sequoia\/benchmarks\/. Accessed","author":"Sequoia Benchmark Codes ASC","year":"2011","unstructured":"ASC Sequoia Benchmark Codes . https:\/\/asc.llnl.gov\/sequoia\/benchmarks\/. Accessed 21 September 2011 . ASC Sequoia Benchmark Codes. https:\/\/asc.llnl.gov\/sequoia\/benchmarks\/. Accessed 21 September 2011."},{"key":"e_1_3_2_1_2_1","volume-title":"a. L. D. Comba, and J. Stolfi. Affine Arithmetic","author":"Andrade M. V. A.","year":"1994","unstructured":"M. V. A. Andrade , J. a. L. D. Comba, and J. Stolfi. Affine Arithmetic , 1994 . M. V. A. Andrade, J. a. L. D. Comba, and J. Stolfi. Affine Arithmetic, 1994."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-010-0124-2"},{"issue":"12","key":"e_1_3_2_1_4_1","first-page":"2526","volume":"180","author":"Baboulin M.","year":"2008","unstructured":"M. Baboulin , A. Buttari , J. Dongarra , J. Kurzak , J. Langou , J. Langou , P. Luszczek , and S. Tomov . Accelerating Scientific Computations with Mixed Precision Algorithms. Computer Physics Communications , 180 ( 12 ): 2526 -- 2533 , 2008 . M. Baboulin, A. Buttari, J. Dongarra, J. Kurzak, J. Langou, J. Langou, P. Luszczek, and S. Tomov. Accelerating Scientific Computations with Mixed Precision Algorithms. Computer Physics Communications, 180(12):2526--2533, 2008.","journal-title":"Accelerating Scientific Computations with Mixed Precision Algorithms. Computer Physics Communications"},{"key":"e_1_3_2_1_5_1","volume-title":"The NAS Parallel Benchmarks 2.0","author":"Bailey D.","year":"1995","unstructured":"D. Bailey , T. Harris , W. Saphir , R. V. D. Wijngaart , A. Woo , and M. Yarrow . The NAS Parallel Benchmarks 2.0 , 1995 . D. Bailey, T. Harris, W. Saphir, R. V. D. Wijngaart, A. Woo, and M. Yarrow. The NAS Parallel Benchmarks 2.0, 1995."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/265834.265854"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1177\/109434200001400404"},{"key":"e_1_3_2_1_9_1","volume-title":"High Performance Computing and Grids in Action","author":"Buttari A.","year":"2008","unstructured":"A. Buttari , J. Dongarra , J. Kurzak , J. Langou , P. Luszczek , and S. Tomov . Exploiting Mixed Precision Floating Point Hardware for Scientific Computation . In High Performance Computing and Grids in Action . IOS Press , 2008 . A. Buttari, J. Dongarra, J. Kurzak, J. Langou, P. Luszczek, and S. Tomov. Exploiting Mixed Precision Floating Point Hardware for Scientific Computation. In High Performance Computing and Grids in Action. IOS Press, 2008."},{"key":"e_1_3_2_1_10_1","volume-title":"Using Mixed Precision for Sparse Matrix Computations to Enhance the Performance while Achieving 64-bit Accuracy","author":"Buttari A.","year":"2007","unstructured":"A. Buttari , J. Dongarra , J. Kurzak , P. Luszczek , and S. Tomov . Using Mixed Precision for Sparse Matrix Computations to Enhance the Performance while Achieving 64-bit Accuracy . 2007 . A. Buttari, J. Dongarra, J. Kurzak, P. Luszczek, and S. Tomov. Using Mixed Precision for Sparse Matrix Computations to Enhance the Performance while Achieving 64-bit Accuracy. 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/368325.368329"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2010.05.002"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141584"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479895291765"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342010391989"},{"key":"e_1_3_2_1_16_1","first-page":"287","volume-title":"Programming Languages and Systems","author":"Eric Goubault Matthieu Martel S. P.","year":"2002","unstructured":"S. P. Eric Goubault Matthieu Martel . Asserting thePrecision of Floating-Point Computations: A Simple Abstract Interpreter . Programming Languages and Systems , pages 287 -- 306 , 2002 . S. P. Eric Goubault Matthieu Martel. Asserting thePrecision of Floating-Point Computations: A Simple Abstract Interpreter. Programming Languages and Systems, pages 287--306, 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775960"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2011.09.007"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2010.61"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/17445760601122076"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647170.718304"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/364338.364384"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718027","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"Higham N. J.","year":"2002","unstructured":"N. J. Higham . Accuracy and Stability of Numerical Algorithms , Second Edition. SIAM Philadelphia , 2002 . N. J. Higham. Accuracy and Stability of Numerical Algorithms, Second Edition. SIAM Philadelphia, 2002."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1731022.1731027"},{"key":"e_1_3_2_1_26_1","volume-title":"Standard for Floating-Point Arithmetic","author":"IEEE. IEEE","year":"2008","unstructured":"IEEE. IEEE 754-2008 , Standard for Floating-Point Arithmetic . IEEE , New York , Aug. 2008 . IEEE. IEEE 754-2008, Standard for Floating-Point Arithmetic. IEEE, New York, Aug. 2008."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2388996.2389062"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/321765.321771"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.709374"},{"issue":"4","key":"e_1_3_2_1_30_1","first-page":"321","volume":"7","author":"Kr\u00e4mer W.","year":"2001","unstructured":"W. Kr\u00e4mer and A. Bantle . Automatic Forward Error Analysis for Floating Point Algorithms. Reliable Computing , 7 ( 4 ): 321 -- 340 , Aug. 2001 . W. Kr\u00e4mer and A. Bantle. Automatic Forward Error Analysis for Floating Point Algorithms. Reliable Computing, 7(4):321--340, Aug. 2001.","journal-title":"Automatic Forward Error Analysis for Floating Point Algorithms. Reliable Computing"},{"key":"e_1_3_2_1_31_1","volume-title":"Bounds for oating-point roundoff noise","author":"Laakso T. I.","year":"1994","unstructured":"T. I. Laakso and L. B. Jackson . Bounds for oating-point roundoff noise . IEEE transactions on circuits and systems, 41(6):424--426, 1994 . T. I. Laakso and L. B. Jackson. Bounds for oating-point roundoff noise. IEEE transactions on circuits and systems, 41(6):424--426, 1994."},{"key":"e_1_3_2_1_32_1","volume-title":"Dynamic Floating-Point Cancellation Detection. In WHIST '11","author":"Lam M. O.","year":"2011","unstructured":"M. O. Lam , J. K. Hollingsworth , and G. W. Stewart . Dynamic Floating-Point Cancellation Detection. In WHIST '11 , 2011 . M. O. Lam, J. K. Hollingsworth, and G. W. Stewart. Dynamic Floating-Point Cancellation Detection. In WHIST '11, 2011."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/356022.356029"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/567806.567808"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772987"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1969.7388"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_38_1","first-page":"159","volume-title":"Programming Languages and Systems","author":"Computations Precision","year":"2002","unstructured":"Precision Computations : A Semantics Approach . Programming Languages and Systems , pages 159 -- 186 , 2002 . Precision Computations: A Semantics Approach. Programming Languages and Systems, pages 159--186, 2002."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2391451.2391472"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480960"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/361573.361581"},{"key":"e_1_3_2_1_42_1","volume-title":"Strzodka and Dominik Goddeke. Mixed Precision Methods for Convergent Iterative Schemes. In Proceedings of the 2006 Workshop on Edge Computing Using New Commodity Architectures","author":"Robert","year":"2006","unstructured":"Robert Strzodka and Dominik Goddeke. Mixed Precision Methods for Convergent Iterative Schemes. In Proceedings of the 2006 Workshop on Edge Computing Using New Commodity Architectures , May 2006 , 2006. Robert Strzodka and Dominik Goddeke. Mixed Precision Methods for Convergent Iterative Schemes. In Proceedings of the 2006 Workshop on Edge Computing Using New Commodity Architectures, May 2006, 2006."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2006.57"},{"key":"e_1_3_2_1_44_1","volume-title":"Rounding Errors in Algebraic Processes","author":"Wilkinson J. H.","year":"1964","unstructured":"J. H. Wilkinson . Rounding Errors in Algebraic Processes . Prentice-Hall, Inc. , 1964 . J. H. Wilkinson. Rounding Errors in Algebraic Processes. Prentice-Hall, Inc., 1964."}],"event":{"name":"ICS'13: International Conference on Supercomputing","location":"Eugene Oregon USA","acronym":"ICS'13","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 27th international ACM conference on International conference on supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2464996.2465018","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2464996.2465018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:00Z","timestamp":1750235940000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2464996.2465018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,10]]},"references-count":44,"alternative-id":["10.1145\/2464996.2465018","10.1145\/2464996"],"URL":"https:\/\/doi.org\/10.1145\/2464996.2465018","relation":{},"subject":[],"published":{"date-parts":[[2013,6,10]]},"assertion":[{"value":"2013-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}