{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T23:08:57Z","timestamp":1740179337161,"version":"3.37.3"},"reference-count":60,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1617892"],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2018,10,24]]},"abstract":"Spreadsheets are one of the most widely used programming environments, and are widely deployed in domains like finance where errors can have catastrophic consequences. We present a static analysis specifically designed to find spreadsheet formula errors. Our analysis directly leverages the rectangular character of spreadsheets. It uses an information-theoretic approach to identify formulas that are especially surprising disruptions to nearby rectangular regions. We present ExceLint, an implementation of our static analysis for Microsoft Excel. We demonstrate that ExceLint is fast and effective: across a corpus of 70 spreadsheets, ExceLint takes a median of 8 seconds per spreadsheet, and it significantly outperforms the state of the art analysis.<\/jats:p>","DOI":"10.1145\/3276518","type":"journal-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:57:18Z","timestamp":1540382238000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["ExceLint: automatically finding spreadsheet formula errors"],"prefix":"10.1145","volume":"2","author":[{"given":"Daniel W.","family":"Barowy","sequence":"first","affiliation":[{"name":"Williams College, USA"}]},{"given":"Emery D.","family":"Berger","sequence":"additional","affiliation":[{"name":"University of Massachusetts at Amherst, USA"}]},{"given":"Benjamin","family":"Zorn","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2004.29"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25945-1_8"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.33"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-014-9236-4"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240305"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791347.2791358"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999448"},{"key":"e_1_2_2_8_1","volume-title":"Internet-Scale Corpus of Spreadsheets. In 12th IEEE\/ACM Working Conference on Mining Software Repositories, MSR 2015","author":"Barik Titus","year":"2015","unstructured":"Titus Barik , Kevin Lubick , Justin Smith , John Slankas , and Emerson R . Murphy-Hill. 2015. Fuse: A Reproducible, Extendable , Internet-Scale Corpus of Spreadsheets. In 12th IEEE\/ACM Working Conference on Mining Software Repositories, MSR 2015 , Florence, Italy , May 16-17, 2015 . 486\u2013489. Titus Barik, Kevin Lubick, Justin Smith, John Slankas, and Emerson R. Murphy-Hill. 2015. Fuse: A Reproducible, Extendable, Internet-Scale Corpus of Spreadsheets. In 12th IEEE\/ACM Working Conference on Mining Software Repositories, MSR 2015, Florence, Italy, May 16-17, 2015. 486\u2013489."},{"key":"e_1_2_2_9_1","unstructured":"Daniel W. Barowy Emery D. Berger and Benjamin Zorn. 2018. ExceLint repository. https:\/\/github.com\/excelint\/excelint. (2018). Daniel W. Barowy Emery D. Berger and Benjamin Zorn. 2018. ExceLint repository. https:\/\/github.com\/excelint\/excelint. (2018)."},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660207"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737952"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1538-4632.1974.tb01014.x"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159733.1159775"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2010.08.004"},{"key":"e_1_2_2_16_1","volume-title":"Report of JPMorgan Chase and Co. Management Task Force Regarding 2012 CIO Losses. (16","author":"J.P. Morgan Chase and Co. 2013.","year":"2013","unstructured":"J.P. Morgan Chase and Co. 2013. Report of JPMorgan Chase and Co. Management Task Force Regarding 2012 CIO Losses. (16 Jan. 2013 ). http:\/\/files.shareholder.com\/downloads\/ONE\/5509659956x0x628656\/4cb574a0-0bf5-4728-9582-625e4519b5ab\/ Task F orce R eport.pdf J.P. Morgan Chase and Co. 2013. Report of JPMorgan Chase and Co. Management Task Force Regarding 2012 CIO Losses. (16 Jan. 2013). http:\/\/files.shareholder.com\/downloads\/ONE\/5509659956x0x628656\/4cb574a0-0bf5-4728-9582-625e4519b5ab\/ Task F orce R eport.pdf"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884796"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168885"},{"key":"e_1_2_2_19_1","volume-title":"Cooper and Linda Torczon","author":"Keith","year":"2005","unstructured":"Keith D. Cooper and Linda Torczon . 2005 . Engineering a Compiler. Morgan Kaufmann . Keith D. Cooper and Linda Torczon. 2005. Engineering a Compiler. Morgan Kaufmann."},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508252"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568316"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.140"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062494"},{"volume-title":"Practical Aspects of Declarative Languages","author":"Erwig Martin","key":"e_1_2_2_25_1","unstructured":"Martin Erwig and Margaret Burnett . 2002. Adding apples and oranges . In Practical Aspects of Declarative Languages . Springer , 173\u2013191. Martin Erwig and Margaret Burnett. 2002. Adding apples and oranges. In Practical Aspects of Declarative Languages. Springer, 173\u2013191."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1083242"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.40"},{"key":"e_1_2_2_28_1","unstructured":"Mary Jo Foley. 2010. About that 1 billion Microsoft Office figure ... http:\/\/www.zdnet.com\/article\/about-that-1-billionmicrosoft-office-figure . (16 June 2010). Mary Jo Foley. 2010. About that 1 billion Microsoft Office figure ... http:\/\/www.zdnet.com\/article\/about-that-1-billionmicrosoft-office-figure . (16 June 2010)."},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1753326.1753431"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581377"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2661673"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337275"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1883984"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2012.6405300"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9296-2"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486827"},{"key":"e_1_2_2_37_1","series-title":"Working Paper Series 322","volume-title":"Does High Public Debt Consistently Stifle Economic Growth? A Critique of Reinhart and Rogoff","author":"Herndon Thomas","unstructured":"Thomas Herndon , Michael Ash , and Robert Pollin . 2013. Does High Public Debt Consistently Stifle Economic Growth? A Critique of Reinhart and Rogoff . Working Paper Series 322 . Political Economy Research Institute , University of Massachusetts Amherst. http:\/\/www.peri.umass.edu\/fileadmin\/pdf\/working p apers\/working p apers 3 01-350\/WP322.pdf Thomas Herndon, Michael Ash, and Robert Pollin. 2013. Does High Public Debt Consistently Stifle Economic Growth? A Critique of Reinhart and Rogoff. Working Paper Series 322. Political Economy Research Institute, University of Massachusetts Amherst. http:\/\/www.peri.umass.edu\/fileadmin\/pdf\/working p apers\/working p apers 3 01-350\/WP322.pdf"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2016.2632151"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0145-3"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_6"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.058"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814189.2815373"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1922649.1922658"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594333"},{"key":"e_1_2_2_45_1","unstructured":"Gaspard Monge. 1781. M\u00e9moire sur la th\u00e9orie des d\u00e9blais et des remblais. Histoire de l\u2019Acad\u00e9mie Royale des Sciences (1781) 666\u2013704. Gaspard Monge. 1781. M\u00e9moire sur la th\u00e9orie des d\u00e9blais et des remblais. Histoire de l\u2019Acad\u00e9mie Royale des Sciences (1781) 666\u2013704."},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771792"},{"key":"e_1_2_2_47_1","volume-title":"Do. In The European Spreadsheet Risks Interest Group 16th Annual Conference (EuSpRiG","author":"Panko Ray","year":"2015","unstructured":"Ray Panko . 2015 . What We Don\u2019t Know About Spreadsheet Errors Today: The Facts, Why We Don\u2019t Believe Them, and What We Need to Do. In The European Spreadsheet Risks Interest Group 16th Annual Conference (EuSpRiG 2015). EuSpRiG. Ray Panko. 2015. What We Don\u2019t Know About Spreadsheet Errors Today: The Facts, Why We Don\u2019t Believe Them, and What We Need to Do. In The European Spreadsheet Risks Interest Group 16th Annual Conference (EuSpRiG 2015). EuSpRiG."},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/287893.287899"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022643204877"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581378"},{"key":"e_1_2_2_52_1","volume-title":"Rogoff","author":"Reinhart Carmen M.","year":"2010","unstructured":"Carmen M. Reinhart and Kenneth S . Rogoff . 2010 . Growth in a Time of Debt. Working Paper 15639. National Bureau of Economic Research . http:\/\/www.nber.org\/papers\/w15639 Carmen M. Reinhart and Kenneth S. Rogoff. 2010. Growth in a Time of Debt. Working Paper 15639. National Bureau of Economic Research. http:\/\/www.nber.org\/papers\/w15639"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/366378.366385"},{"key":"e_1_2_2_54_1","volume-title":"ICSE","author":"Rothermel G.","year":"1998","unstructured":"G. Rothermel , L. Li , C. DuPuis , and M. Burnett . 1998. What you see is what you test: A methodology for testing form-based visual programs . In ICSE 1998 . IEEE, 198\u2013207. G. Rothermel, L. Li, C. DuPuis, and M. Burnett. 1998. What you see is what you test: A methodology for testing form-based visual programs. In ICSE 1998. IEEE, 198\u2013207."},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2017.8103458"},{"key":"e_1_2_2_56_1","volume-title":"A mathematical theory of communication. Bell system technical journal 27","author":"Shannon C. E.","year":"1948","unstructured":"C. E. Shannon . 1948. A mathematical theory of communication. Bell system technical journal 27 ( 1948 ). C. E. Shannon. 1948. A mathematical theory of communication. Bell system technical journal 27 (1948)."},{"key":"e_1_2_2_57_1","volume-title":"Melford: Using Neural Networks to Find Spreadsheet Errors. Technical Report. https:\/\/www.microsoft.com\/en-us\/research\/publication\/melford-using-neural-networks-find-spreadsheeterrors\/","author":"Singh Rishabh","year":"2017","unstructured":"Rishabh Singh , Benjamin Livshits , and Ben Zorn . 2017 . Melford: Using Neural Networks to Find Spreadsheet Errors. Technical Report. https:\/\/www.microsoft.com\/en-us\/research\/publication\/melford-using-neural-networks-find-spreadsheeterrors\/ Rishabh Singh, Benjamin Livshits, and Ben Zorn. 2017. Melford: Using Neural Networks to Find Spreadsheet Errors. Technical Report. https:\/\/www.microsoft.com\/en-us\/research\/publication\/melford-using-neural-networks-find-spreadsheeterrors\/"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/367236.367286"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/10.1.85"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587060"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276518","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T10:26:06Z","timestamp":1672568766000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276518"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":60,"journal-issue":{"issue":"OOPSLA","published-print":{"date-parts":[[2018,10,24]]}},"alternative-id":["10.1145\/3276518"],"URL":"https:\/\/doi.org\/10.1145\/3276518","relation":{},"ISSN":["2475-1421"],"issn-type":[{"type":"electronic","value":"2475-1421"}],"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}