{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:42:05Z","timestamp":1752550925386,"version":"3.41.0"},"reference-count":73,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2015,4,16]],"date-time":"2015-04-16T00:00:00Z","timestamp":1429142400000},"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":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[2015,4,16]]},"abstract":"<jats:p>Runtime analysis provides an effective method for measuring the sensitivity of programs to rounding errors. To date, implementations have required significant changes to source code, detracting from their widespread application. In this work, we present an open source system that automates the quantitative analysis of floating point rounding errors through the use of C-based source-to-source compilation and a Monte Carlo arithmetic library. We demonstrate its application to the comparison of algorithms, detection of catastrophic cancellation, and determination of whether single precision floating point provides sufficient accuracy for a given application. Methods for obtaining quantifiable measurements of sensitivity to rounding error are also detailed.<\/jats:p>","DOI":"10.1145\/2665073","type":"journal-article","created":{"date-parts":[[2015,4,17]],"date-time":"2015-04-17T22:12:01Z","timestamp":1429308721000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["MCALIB"],"prefix":"10.1145","volume":"37","author":[{"given":"Michael","family":"Frechtling","sequence":"first","affiliation":[{"name":"The University of Sydney, Darlington, NSW, Australia"}]},{"given":"Philip H. W.","family":"Leong","sequence":"additional","affiliation":[{"name":"The University of Sydney, Darlington, NSW, Australia"}]}],"member":"320","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/RME.2009.5201307"},{"key":"e_1_2_1_2_1","first-page":"455","article-title":"Estimation of round-off errors on several computer architectures","volume":"1","author":"Asserrhine Jalil","year":"1995","unstructured":"Jalil Asserrhine, Jean-Marie Chesneaux, and Jean-Luc Lamotte. 1995. Estimation of round-off errors on several computer architectures. Journal of Universal Computer Science 1, 7, 455--468.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/860256.860262"},{"volume-title":"Algorithms for Minimization without Derivatives","author":"Brent Richard P.","key":"e_1_2_1_4_1","unstructured":"Richard P. Brent. 1973. Algorithms for Minimization without Derivatives. Courier Dover Publications."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.062"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 1st HiPEAC Workshop on Reconfigurable Computing. 6--16","author":"Brown Ashley W.","year":"2007","unstructured":"Ashley W. Brown, Paul H. J. Kelly, and Wayne Luk. 2007. Profiling floating point value ranges for reconfigurable implementation. In Proceedings of the 1st HiPEAC Workshop on Reconfigurable Computing. 6--16."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the Workshop on Reconfigurable Computing at HiPEAC.","author":"Brown Ashley W.","year":"2008","unstructured":"Ashley W. Brown, Paul H. J. Kelly, and Wayne Luk. 2008. Profile-directed speculative optimization of reconfigurable floating point data paths. In Proceedings of the Workshop on Reconfigurable Computing at HiPEAC."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS.2002.1046241"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/938383.938406"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1124713.1124716"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1058426.1058868"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/795660.795947"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.818119"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201902)","author":"Cooper Keith D.","year":"2002","unstructured":"Keith D. Cooper, Timothy J. Harvey, and Ken Kennedy. 2002. Iterative data-flow analysis, revisited. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201902)."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644001.1644003"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049462.70970.b6"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04570-7_6"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2391451.2391480"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1096889"},{"key":"e_1_2_1_22_1","unstructured":"Alain Deutsch. 2003. Static Verification of Dynamic Properties. PolySpace White Paper."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.728"},{"key":"e_1_2_1_24_1","first-page":"1","article-title":"IEEE standard for floating-point arithmetic","volume":"754","author":"Floating-Point Working Group","year":"2008","unstructured":"Floating-Point Working Group. 2008. IEEE standard for floating-point arithmetic. IEEE Standard 754-2008 1--58.","journal-title":"IEEE Standard"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177612"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/558802"},{"key":"e_1_2_1_28_1","volume-title":"Leong","author":"Frechtling Michael","year":"2013","unstructured":"Michael Frechtling and Philip H. W. Leong. 2013. An FPGA-based floating point unit for rounding error analysis. In Transforming Reconfigurable Systems, W. Luk and G. Constantinides (Eds.). Imperial College Press, Imperial College, London. Retrieved March 2, 2015, from http:\/\/www.ee.usyd.edu.au\/people\/philip.leong\/UserFiles\/File\/papers\/mca_icpress13.pdf."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/647929.740393"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025123.1025818"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2002.1188677"},{"volume-title":"Computer arithmetic. Computer Architecture: A Quantitative Approach","author":"Goldberg David","key":"e_1_2_1_32_1","unstructured":"David Goldberg. 1990. Computer arithmetic. Computer Architecture: A Quantitative Approach, D. Patterson and J. L. Hennessy (Eds.). Morgan Kaufmann, Los Altos, CA."},{"key":"e_1_2_1_33_1","volume-title":"GAOL: Not Just Another Interval Arithmetic Library.","author":"Goualard Frederic","year":"2006","unstructured":"Frederic Goualard. 2006. GAOL: Not Just Another Interval Arithmetic Library."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_3"},{"volume-title":"Monte Carlo methods","author":"Hammersley John Michael","key":"e_1_2_1_35_1","unstructured":"John Michael Hammersley and David Christopher Handscomb. 1964. Monte Carlo methods. Vol. 1. Springer."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1137\/0914050"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","unstructured":"Nicholas J. Higham. 1996. Accuracy and Stability of Numerical Algorithms. Siam.","DOI":"10.5555\/525601"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/357103.357107"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177703732"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/109025.109086"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2008.02.003"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/363707.363723"},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the UCB Statistics Colloquium, Evans Hall edition. 20","author":"Kahan William","year":"1996","unstructured":"William Kahan. 1996. The improbability of probabilistic error analyses for numerical computations. In Proceedings of the UCB Statistics Colloquium, Evans Hall edition. 20."},{"key":"e_1_2_1_44_1","volume-title":"How Futile Are Mindless Assessments of Roundoff in Floating Point Computation. Retrieved","author":"Kahan William","year":"2015","unstructured":"William Kahan. 2006. How Futile Are Mindless Assessments of Roundoff in Floating Point Computation. Retrieved March 2, 2015, from http:\/\/www.cs.berkeley.edu\/&sim;wkahan\/Mindless.pdf"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/583156"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1002\/pamm.200610322"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/1211948"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.873887"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065799"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362498"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01589116"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/362854.362889"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353446"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/192115.192132"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/1823389"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065893"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2007.4380730"},{"volume-title":"Monte Carlo Arithmetic: Exploiting Randomness in Floating-Point Arithmetic. Computer Science Department","author":"Parker Douglass Stott","key":"e_1_2_1_60_1","unstructured":"Douglass Stott Parker. 1997. Monte Carlo Arithmetic: Exploiting Randomness in Floating-Point Arithmetic. Computer Science Department, University of California."},{"key":"e_1_2_1_61_1","volume-title":"Monte Carlo Arithmetic. Retrieved","author":"Parker Douglass Stott","year":"2015","unstructured":"Douglass Stott Parker. 2003. Monte Carlo Arithmetic. Retrieved March 2, 2015, from http:\/\/www.cs.ucla.edu\/&sim;stott\/mca\/."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/1403886"},{"key":"e_1_2_1_63_1","volume-title":"Chebyshev Polynomials: From Approximation Theory to Algebra and Number Theory","author":"Rivlin Theodore J.","year":"1990","unstructured":"Theodore J. Rivlin. 1990. Chebyshev Polynomials: From Approximation Theory to Algebra and Number Theory (2nd ed.). Pure and Applied Mathematics: A Wiley Series of Texts, Monographs, and Tracts. Wiley-Interscience.","edition":"2"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/3.3.175"},{"key":"e_1_2_1_65_1","unstructured":"Adrian Sandu. November 2000. CSE-690 Home Project 2. Available at http:\/\/www.cs.vt.edu\/&sim;asandu\/Courses\/MTU\/CSE690\/proj-2.ps."},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.859535"},{"volume-title":"Floating-Point Computation","author":"Sterbenz Pat H.","key":"e_1_2_1_67_1","unstructured":"Pat H. Sterbenz. 1974. Floating-Point Computation. Vol. 26. Prentice-Hall, Englewood Cliffs, NJ."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.5555\/795677.797250"},{"key":"e_1_2_1_69_1","volume-title":"C Implementation of the LINPACK Benchmark. Retrieved","author":"Toy Bonnie","year":"2015","unstructured":"Bonnie Toy and Will Menninger. 1994. C Implementation of the LINPACK Benchmark. Retrieved March 2, 2015, from http:\/\/www.netlib.org\/benchmark\/linpackc.new."},{"key":"e_1_2_1_70_1","volume-title":"Proceedings of the 2nd Real Numbers and Computers Conference. 233--251","author":"Vignes Jean","year":"1996","unstructured":"Jean Vignes. 1996. A stochastic approach to the analysis of round-off error propagation. A survey of the CESTAC method. In Proceedings of the 2nd Real Numbers and Computers Conference. 233--251."},{"key":"e_1_2_1_71_1","volume-title":"Interval Arithmetic Programming Reference: Forte TM Workshop 6 Update 1 C&plus;&plus;. Sun Microsystems Inc.","author":"William Walster G.","year":"2000","unstructured":"G. William Walster and Dmitri Chiriaev. 2000. Interval Arithmetic Programming Reference: Forte TM Workshop 6 Update 1 C&plus;&plus;. Sun Microsystems Inc."},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.5555\/1096474"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950413.1950453"}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2665073","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2665073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:25Z","timestamp":1750227205000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2665073"}},"subtitle":["Measuring Sensitivity to Rounding Error with Monte Carlo Programming"],"short-title":[],"issued":{"date-parts":[[2015,4,16]]},"references-count":73,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4,16]]}},"alternative-id":["10.1145\/2665073"],"URL":"https:\/\/doi.org\/10.1145\/2665073","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"type":"print","value":"0164-0925"},{"type":"electronic","value":"1558-4593"}],"subject":[],"published":{"date-parts":[[2015,4,16]]},"assertion":[{"value":"2013-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}