Oregon State University



Event Details

PhD Oral Preliminary Examination – Eric Walkingshaw

Thursday, June 14, 2012 2:00 PM - 4:00 PM

A Theoretical Foundation for Variation Research
The creation, evolution, and verification of massively variational software is both difficult and increasingly important. Most research on this problem is engineering-centric, focusing on developing tools to support specific tasks, making it difficult to share, reuse, and formally verify results. In my proposed thesis, I will present a general, theoretical foundation for variation research. This will consist of formal languages for representing variability in different kinds of artifacts, and theoretical results based on these languages. Specific contributions include: the choice calculus, a formal language for representing annotative variation in tree-structured artifacts, such as software; a semantics-based design theory based on the choice calculus; efficient representations of variational sets and variational graphs; and the compositional choice calculus, a formal language that unifies the compositional and annotative approaches to variation representation.

Major Advisor: Martin Erwig
Committee: Margaret Burnett
Committee: Ronald Metoyer
Committee: Christopher Scaffidi
GCR: Margaret Niess

Kelley Engineering Center (campus map)
Shannon Thompson
1 541 737 7234
shannon.thompson at oregonstate.edu
Sch Elect Engr/Comp Sci
This event appears on the following calendars: