News Archive

  • 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!

  • Projectional editing paper accepted to GPCE'14July 8, 2014

    With Klaus Ostermann, our paper “Projectional Editing of Variational Software” (PDF) has been accepted to GPCE 2014. See you in Sweden!

  • Variational Data Structures paper accepted to Onward!'14May 27, 2014

    With Christian Kästner, Martin Erwig, Sven Apel, and Eric Bodden, our paper, “Variational Data Structures: Exploring Trade-Offs in Computing With Variability” (PDF) has been accepted to Onward! 2014. See you in Portland!

  • Talk at VARIETE project kickoffNovember 5, 2013

    I’ll be giving a talk on variational data structures at the Copenhagen Meeting on Variability Analysis on Nov 18.

  • Variational graphs paper accepted to FOSD'13September 13, 2013

    With Martin Erwig and Sheng Chen, our paper on “An Abstract Representation of Variational Graphs” (PDF) has been accepted to the 2013 Workshop on Feature-Oriented Software Development in Indianapolis.

  • Moved to Philipps University of MarburgAugust 1, 2013

    I’m very excited to be spending the next 13 months working as a postdoctoral researcher with Klaus Ostermann and his research group at the Philipps University of Marburg!

  • Variational type inference paper accepted to TOPLASJune 25, 2013

    With Sheng Chen and Martin Erwig, our paper “Extending Type Inference to Variational Programs” (PDF) was accepted to the ACM Transactions on Programming Languages and Systems. This is a great result for a paper with many years of work behind it. In addition to the main contribution, it demonstrates the applicability of the choice calculus and its potential for theory reuse.

  • Finished PhDJune 13, 2013

    I successfully defended my thesis, “The Choice Calculus: A Formal Language of Variation” (PDF). If you’re interested in the choice calculus, this provides the most complete and up-to-date description of it.

There was news before this point in history, I just didn't keep track of it. :-)