Eric Walkingshaw

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 21

Top Topics

Probabilistic Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary. Software Engineering (2023)
Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm
Variational satisfiability solving: efficiently solving lots of related SAT problems. Empir. Softw. Eng. 28 (1) (2023)
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
Migrating gradual types. J. Funct. Program. 32 (2022)
Parisa Ataei, Qiaoran Li, Eric Walkingshaw
Should Variation Be Encoded Explicitly in Databases? VaMoS (2021)
Parisa Ataei, Fariba Khan, Eric Walkingshaw
A variational database management system. GPCE (2021)
Jacob Krüger, Sofia Ananieva, Lea Gerling, Eric Walkingshaw
Third International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020). SPLC (A) (2020)
Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm
Variational satisfiability solving. SPLC (A) (2020)
Parisa Ataei, Qiaoran Li, Eric Walkingshaw, Arash Termehchy
Managing Variability in Relational Databases by VDBMS. CoRR (2019)
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
Towards efficient analysis of variation in time and space. SPLC (B) (2019)
Jeffrey M. Young, Eric Walkingshaw
A Domain Analysis of Data Structure and Algorithm Explanations in the Wild. SIGCSE (2018)
Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
Declarative GUIs: Simple, Consistent, and Verified. PPDP (2018)
Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
Developing GUI Applications in a Verified Setting. SETTA (2018)
Parisa Ataei, Arash Termehchy, Eric Walkingshaw
Managing Structurally Heterogeneous Databases in Software Product Lines. Poly/DMAH@VLDB (2018)
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
Migrating gradual types. Proc. ACM Program. Lang. 2 (POPL) (2018)
John Peter Campora III, Sheng Chen, Eric Walkingshaw
Casts and costs: harmonizing safety and performance in gradual typing. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Rahul Gopinath, Eric Walkingshaw
How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations. ICST Workshops (2017)
Meng Meng, Jens Meinicke, Chu-Pan Wong, Eric Walkingshaw, Christian Kästner
A choice of variational stacks: exploring variational data structures. VaMoS (2017)
Parisa Ataei, Arash Termehchy, Eric Walkingshaw
Variational databases. DBPL (2017)
Stefan Stanciulescu, Thorsten Berger, Eric Walkingshaw, Andrzej Wasowski
Concepts, Operations, and Feasibility of a Projection-Based Variation Control System. ICSME (2016)
Spencer Hubbard, Eric Walkingshaw
Formula choice calculus. FOSD (2016)
Sheng Chen, Martin Erwig, Eric Walkingshaw
A Calculus for Variational Programming. ECOOP (2016)
Keeley Abbott, Christopher Bogart, Eric Walkingshaw
Programs for people: What we can learn from lab protocols. VL/HCC (2015)
Sheng Chen, Martin Erwig, Eric Walkingshaw
Extending Type Inference to Variational Programs. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden
Variational Data Structures: Exploring Tradeoffs in Computing with Variability. Onward! (2014)
Eric Walkingshaw, Klaus Ostermann
Projectional editing of variational software. GPCE (2014)
Martin Erwig, Eric Walkingshaw
A visual language for explaining probabilistic reasoning. J. Vis. Lang. Comput. 24 (2) (2013)
Martin Erwig, Eric Walkingshaw, Sheng Chen
An abstract representation of variational graphs. FOSD (2013)
Martin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw
Adding configuration to the choice calculus. VaMoS (2013)
Sheng Chen, Martin Erwig, Eric Walkingshaw
An error-tolerant type system for variational lambda calculus. ICFP (2012)
Eric Walkingshaw, Martin Erwig
A calculus for modeling and implementing variation. GPCE (2012)
Martin Erwig, Eric Walkingshaw
Variation Programming with the Choice Calculus. GTTSE (2011)
Eric Walkingshaw, Martin Erwig
A DSEL for Studying and Explaining Causation DSL (2011)
Martin Erwig, Eric Walkingshaw
The Choice Calculus: A Representation for Software Variation. ACM Trans. Softw. Eng. Methodol. 21 (1) (2011)
Duc Le, Eric Walkingshaw, Martin Erwig
#ifdef confirmed harmful: Promoting understandable software variation. VL/HCC (2011)
Martin Erwig, Eric Walkingshaw
Semantics First! - Rethinking the Language Design Process. SLE (2011)
Martin Erwig, Eric Walkingshaw
Causal Reasoning with Neuron Diagrams. VL/HCC (2010)
Martin Erwig, Eric Walkingshaw
Program fields for continuous software. FoSER (2010)
Eric Walkingshaw
Managing Variation in Explanation-Oriented Languages. VL/HCC (2010)
Martin Erwig, Eric Walkingshaw
A DSL for Explaining Probabilistic Reasoning. DSL (2009)
Eric Walkingshaw, Martin Erwig
Varying Domain Representations in Hagl. DSL (2009)
Eric Walkingshaw, Martin Erwig
A domain-specific language for experimental game theory. J. Funct. Program. 19 (6) (2009)
Martin Erwig, Eric Walkingshaw
Visual explanations of probabilistic reasoning. VL/HCC (2009)
Eric Walkingshaw
Designing explanation-oriented languages. VL/HCC (2008)
Martin Erwig, Eric Walkingshaw
A visual language for representing and explaining strategies in game theory. VL/HCC (2008)