Correction: The time is 8:30 am - 9:45 am.
WKW
On Mon, 11 Feb 2013, Weng-Keen Wong wrote:
Language Support for Variational Software
Thursday, February 14, 2013 - 8:30am - 9:45am
KEC 1007
Eric Walkingshaw
PhD Candidate
School of EECS
Oregon State University
Abstract:
Effectively managing variation is crucial to many subfields of software
engineering, such as software product lines, feature-oriented programming,
and software configuration management. In this talk, I will present the
choice calculus, a formal language that supports research on representing,
transforming, and analyzing variational software. Using the choice calculus,
I will present an extension of the Damas-Milner type inference algorithm to
infer variational types for variational programs.
My research on the choice calculus is part of a larger body of work
developing language-based solutions to a wide variety of problems. I will
present two domain-specific visual languages that illustrate other aspects of
my research vision and approach. The languages we all use shape the way we
view, reason about, and ultimately solve problems. Good languages not only
help us implement solutions, they reveal patterns and help us tease apart
complexity, giving us deeper insight into the problems we care about, and
even a richer understanding of the domain itself.
Speaker Biography: Eric Walkingshaw is a Ph.D. candidate and instructor at
Oregon State University. He earned a B.S. in Computer Science and a B.A. in
English from the University of Washington in 2006. Before coming to Oregon
State, he worked for two years in bioinformatics on languages for experiment
design and on helping biologists cope with big data. He is interested in all
aspects of language design and implementation, with a focus on
domain-specific languages, functional programming, and visual languages. He
has designed languages for experimental game theory, variational programming,
studying causation, and explaining probabilistic reasoning. He is also
interested in gamification and linguistics.
_______________________________________________
Colloquium mailing list
[email protected]
https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
_______________________________________________
eecs-faculty mailing list
[email protected]
https://secure.engr.oregonstate.edu/mailman/listinfo/eecs-faculty
_______________________________________________
Colloquium mailing list
[email protected]
https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
