Eric Walkingshaw

46 papers A 4B 11C 2Misc 1Journal 10Unranked 17

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