Eric Walkingshaw

According to our database, Eric Walkingshaw authored at least 43 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Variational satisfiability solving: efficiently solving lots of related SAT problems.

Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm

Empir. Softw. Eng., 2023

Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary.

Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm

Proceedings of the Software Engineering 2023, 2023

2021

Should Variation Be Encoded Explicitly in Databases?

Parisa Ataei, Qiaoran Li, Eric Walkingshaw

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

A variational database management system.

Parisa Ataei, Fariba Khan, Eric Walkingshaw

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Variational satisfiability solving.

Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Third International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020).

Jacob Krüger, Sofia Ananieva, Lea Gerling, Eric Walkingshaw

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

2019

Managing Variability in Relational Databases by VDBMS.

Parisa Ataei, Qiaoran Li, Eric Walkingshaw, Arash Termehchy

CoRR, 2019

Towards efficient analysis of variation in time and space.

Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

2018

Casts and costs: harmonizing safety and performance in gradual typing.

John Peter Campora III, Sheng Chen, Eric Walkingshaw

Proc. ACM Program. Lang., 2018

Migrating gradual types.

John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw

Proc. ACM Program. Lang., 2018

Managing Structurally Heterogeneous Databases in Software Product Lines.

Parisa Ataei, Arash Termehchy, Eric Walkingshaw

Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2018

A Domain Analysis of Data Structure and Algorithm Explanations in the Wild.

Jeffrey M. Young, Eric Walkingshaw

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Developing GUI Applications in a Verified Setting.

Stephan Adelsberger, Anton Setzer, Eric Walkingshaw

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Declarative GUIs: Simple, Consistent, and Verified.

Stephan Adelsberger, Anton Setzer, Eric Walkingshaw

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

A choice of variational stacks: exploring variational data structures.

Meng Meng, Jens Meinicke, Chu-Pan Wong, Eric Walkingshaw, Christian Kästner

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations.

Rahul Gopinath, Eric Walkingshaw

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Variational databases.

Parisa Ataei, Arash Termehchy, Eric Walkingshaw

Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2016

Formula choice calculus.

Spencer Hubbard, Eric Walkingshaw

Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016

Concepts, Operations, and Feasibility of a Projection-Based Variation Control System.

Stefan Stanciulescu, Thorsten Berger, Eric Walkingshaw, Andrzej Wasowski

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

A Calculus for Variational Programming.

Sheng Chen, Martin Erwig, Eric Walkingshaw

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Programs for people: What we can learn from lab protocols.

Keeley Abbott, Christopher Bogart, Eric Walkingshaw

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

2014

Extending Type Inference to Variational Programs.

Sheng Chen, Martin Erwig, Eric Walkingshaw

ACM Trans. Program. Lang. Syst., 2014

Variational Data Structures: Exploring Tradeoffs in Computing with Variability.

Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden

Proceedings of the Onward! 2014, 2014

Projectional editing of variational software.

Eric Walkingshaw, Klaus Ostermann

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

A visual language for explaining probabilistic reasoning.

Martin Erwig, Eric Walkingshaw

J. Vis. Lang. Comput., 2013

Adding configuration to the choice calculus.

Martin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

An abstract representation of variational graphs.

Martin Erwig, Eric Walkingshaw, Sheng Chen

Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

2012

An error-tolerant type system for variational lambda calculus.

Sheng Chen, Martin Erwig, Eric Walkingshaw

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

A calculus for modeling and implementing variation.

Eric Walkingshaw, Martin Erwig

Proceedings of the Generative Programming and Component Engineering, 2012

2011

The Choice Calculus: A Representation for Software Variation.

Martin Erwig, Eric Walkingshaw

ACM Trans. Softw. Eng. Methodol., 2011

A DSEL for Studying and Explaining Causation

Eric Walkingshaw, Martin Erwig

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

#ifdef confirmed harmful: Promoting understandable software variation.

Duc Le, Eric Walkingshaw, Martin Erwig

Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Semantics First! - Rethinking the Language Design Process.

Martin Erwig, Eric Walkingshaw

Proceedings of the Software Language Engineering - 4th International Conference, 2011

Variation Programming with the Choice Calculus.

Martin Erwig, Eric Walkingshaw

Proceedings of the Generative and Transformational Techniques in Software Engineering IV, 2011

2010

Managing Variation in Explanation-Oriented Languages.

Eric Walkingshaw

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Causal Reasoning with Neuron Diagrams.

Martin Erwig, Eric Walkingshaw

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Program fields for continuous software.

Martin Erwig, Eric Walkingshaw

Proceedings of the Workshop on Future of Software Engineering Research, 2010

2009

A domain-specific language for experimental game theory.

Eric Walkingshaw, Martin Erwig

J. Funct. Program., 2009

Visual explanations of probabilistic reasoning.

Martin Erwig, Eric Walkingshaw

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Varying Domain Representations in Hagl.

Eric Walkingshaw, Martin Erwig

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

A DSL for Explaining Probabilistic Reasoning.

Martin Erwig, Eric Walkingshaw

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Designing explanation-oriented languages.

Eric Walkingshaw

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

A visual language for representing and explaining strategies in game theory.

Martin Erwig, Eric Walkingshaw

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008