Thu 8 Nov 2018 15:52 - 16:15 at Studio 2 - Potpourri Chair(s): Anders Møller

Spreadsheets are one of the most commonly 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 nearly 70 spreadsheets, ExceLint takes a median of 8 seconds per spreadsheet, and it significantly outperforms the state of the art analysis.

Thu 8 Nov
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

15:30 - 17:00: OOPSLA - Potpourri at Studio 2
Chair(s): Anders MøllerAarhus University
splash-2018-OOPSLA15:30 - 15:52
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
splash-2018-OOPSLA15:52 - 16:15
Dan Barowy, Emery BergerUniversity of Massachusetts, Amherst, Benjamin ZornMicrosoft Research
splash-2018-OOPSLA16:15 - 16:37
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington
splash-2018-OOPSLA16:37 - 17:00
Saswat PadhiUniversity of California, Los Angeles, Prateek JainMicrosoft Research Lab, India, Daniel PerelmanUniversity of Washington, USA, Alex PolozovMicrosoft Research, Sumit GulwaniMicrosoft Research, Todd MillsteinUniversity of California, Los Angeles