SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Thu 23 Oct 2014 15:30 - 15:52 at Salon E - Debugging Chair(s): Caitlin Sadowski

Testing and static analysis can help root out bugs in programs, but not in data. This paper introduces data debugging, an approach that combines program analysis and statistical analysis to find potential data errors. Since it is impossible to know a priori whether data are erroneous or not, data debugging locates data that has an unusual impact on the computation. Such data is either very important, or wrong. Data debugging is especially useful in the context of data-intensive program- ming environments that intertwine data with programs in the form of queries or formulas. We present the first data debugging tool, CheckCell, an add-in for Microsoft Excel. CheckCell identifies cells that have an unusually high impact on the spreadsheet’s computations. We show that CheckCell is both analytically and empirically fast and effective. We show that it successfully finds injected typographical errors produced by a generative model trained with data entry from 100,000 Mechanical Turk tasks. CheckCell also automatically identifies a key flaw in the infamous Reinhart and Rogoff spreadsheet.

Video: http://www.infoq.com/presentations/checkcell

Thu 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

15:30 - 17:00: DebuggingOOPSLA at Salon E
Chair(s): Caitlin SadowskiGoogle
15:30 - 15:52
Talk
CheckCell: Data Debugging for Spreadsheets
OOPSLA
Dan BarowyUniversity of Massachusetts, Amherst, Dimitar GochevUniversity of Massachusetts, Amherst, Emery D. BergerUniversity of Massachusetts, Amherst
Link to publication
15:52 - 16:15
Talk
Finding Minimum Type Error Sources
OOPSLA
Zvonimir PavlinovicNew York University, Tim KingNew York University, Thomas WiesNew York University
Link to publication File Attached
16:15 - 16:37
Talk
Flint: Fixing Linearizability Violations
OOPSLA
Peng LiuPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Xiangyu ZhangPurdue University
Link to publication
16:37 - 17:00
Talk
Statistical Debugging for Real-World Performance Problems
OOPSLA
Linhai SongUniversity of Wisconsin–Madison, Shan LuUniversity of Chicago
Link to publication