Skip to content

Eric Walkingshaw

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

17

Venues

11

Active years

2011–2021

Best venue rank

A*

Where they publish

Papers

17 indexed papers, newest first.

YearVenueTitleAuthors
2021GPCEA variational database management system.Parisa Ataei, Fariba Khan, Eric Walkingshaw
2020SPLCThird International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020).Jacob Krger, Sofia Ananieva, Lea Gerling, Eric Walkingshaw
2020SPLCVariational satisfiability solving.Jeffrey M. Young, Eric Walkingshaw, Thomas Thm
2019SPLCTowards efficient analysis of variation in time and space.Thomas Thm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
2018PPDPDeclarative GUIs: Simple, Consistent, and Verified.Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
2018SIGCSEA Domain Analysis of Data Structure and Algorithm Explanations in the Wild.Jeffrey M. Young, Eric Walkingshaw
2018VLDBManaging Structurally Heterogeneous Databases in Software Product Lines.Parisa Ataei, Arash Termehchy, Eric Walkingshaw
2018SETTADeveloping GUI Applications in a Verified Setting.Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
2017ICSTHow Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations.Rahul Gopinath, Eric Walkingshaw
2016ECOOPA Calculus for Variational Programming.Sheng Chen, Martin Erwig, Eric Walkingshaw
2016OOPSLAFormula choice calculus.Spencer Hubbard, Eric Walkingshaw
2014GPCEProjectional editing of variational software.Eric Walkingshaw, Klaus Ostermann
2014OOPSLAVariational Data Structures: Exploring Tradeoffs in Computing with Variability.Eric Walkingshaw, Christian Kstner, Martin Erwig, Sven Apel, Eric Bodden
2013GPCEAn abstract representation of variational graphs.Martin Erwig, Eric Walkingshaw, Sheng Chen
2012GPCEA calculus for modeling and implementing variation.Eric Walkingshaw, Martin Erwig
2012ICFPAn error-tolerant type system for variational lambda calculus.Sheng Chen, Martin Erwig, Eric Walkingshaw
2011SLESemantics First! - Rethinking the Language Design Process.Martin Erwig, Eric Walkingshaw