Events Calendar

MS Final Exam – Mihai Dan

Spreadsheet Explanation Through Table Abstraction

Spreadsheets are a pervasive technology throughout personal and industrial use. Often times, the user is not the author, contributing to a lack of understanding of the purpose and functionality of a spreadsheet. Furthermore, the lack of understanding is a major reason for mistakes in the use and maintenance of spreadsheets. I present an approach, called explanation sheets, which eases the understanding and maintenance of spreadsheets. I identify the notion of explanation soundness and show that explanation sheets which conform to simple rules of formula convergence provide sound explanations. I also present a practical evaluation of explanation sheets based on samples drawn from wildly used spreadsheet corpora and based on a small user study. In addition to facilitating the understanding of spreadsheets, I describe the process of inferring explanation sheets from a spreadsheet. By means of assessing example spread- sheets, I present a set of inference rules to describe the relationship between a spreadsheet and its explanation.

Major Advisor: Martin Erwig
Committee: Eric Walkingshaw
Committee: Christopher Scaffidi
GCR: Yelda Turkan

Wednesday, June 12, 2019 at 1:00pm to 3:00pm

Kelley Engineering Center, 1005
110 SW Park Terrace, Corvallis, OR 97331

Event Type

Lecture or Presentation

Event Topic


Electrical Engineering and Computer Science
Contact Name

Calvin Hughes

Contact Email

Google Calendar iCal Outlook

Recent Activity