Eric Walkingshaw

Assistant Professor
Corvallis, OR 97331, USA
Office: KEC 3049 (map)

Research Overview

My research is broadly focused on language design and domain-specific languages. I believe that clear and expressive languages are essential for understanding, solving, and explaining difficult problems. I am especially interested in type systems, functional programming, and modularity.

Currently, I am researching formal representations and analyses of variation. I am the co-creator of the choice calculus, a simple calculus of variation that can be easily extended with new features and instantiated by new object languages. This research was originally motived by improving the development and maintenance of massively configurable software, such as software product lines. However, it has since been applied to modeling resource consumption, optimizing gradually typed programs, typing generalized algebraic data types, and more.

See my research page for a (perpetually outdated) list of projects, or my publications page for a (usually current) list of papers.


I am not teaching in Spring 2018!

Past courses are listed on my teaching page.


I am an activist for the United Academics of Oregon State University. If you have any questions about our efforts to build a faculty union here at OSU, please shoot me an email. I’d love to talk!

Recently, I organized and chaired the graduate consortium at VL/HCC 2017, and organized and co-chaired several workshops: FOSD 2017, DSLDI 2017, and DSLDI 2016. I was also the web and publicity co-chair for SPLASH 2017.

I am also serving or have recently served on the program committees for:


  • New DARPA grant!August 5, 2015

    We were awarded a 4 year, $1.61 million grant from DARPA (via Raytheon) to improve the reliability and longevity of software in ever-changing resource environments. Co-PIs: Alex Groce and Arash Termehchy.

  • Paper accepted to VL/HCC'15July 3, 2015

    With Keeley Abbott and Chris Bogart, our paper “Programs for People: What we can Learn from Lab Protocols” (PDF) has been accepted to VL/HCC 2015. This paper analyzes lab protocols as programs for human execution in order to identify design principles for mixed-initiative programming.

  • Best paper award at GPCE'14September 15, 2014

    Our paper on “Projectional Editing of Variational Software” (PDF) won the best paper award at GPCE 2014!

(News archive)

Grad Student Mentoring

Lambda Reading Group: We’re a group of programming languages students and faculty that meets to discuss a different paper each week. If you’re interested in programming languages, you’re welcome to join! Just send me an email.

Current weekly meeting time (Summer 2018): Monday 11am (KEC 3057)

Current students:

Graduated students:

Elsewhere on the Web

Here are my profiles at some sites I actively use:

I purposely do not have accounts at ResearchGate or