default search action
Eric Walkingshaw
Person information
- affiliation (former): Oregon State University, Corvallis, OR, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j8]Jeffrey M. Young
, Paul Maximilian Bittner
Variational satisfiability solving: efficiently solving lots of related SAT problems. Empir. Softw. Eng. 28(1): 14 (2023) - [c35]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: 129-130 - 2022
- [j7]John Peter Campora III
Migrating gradual types. J. Funct. Program. 32: e14 (2022) - 2021
- [c34]Parisa Ataei, Fariba Khan, Eric Walkingshaw:
A variational database management system. GPCE 2021: 29-42 - [c33]Parisa Ataei, Qiaoran Li, Eric Walkingshaw:
Should Variation Be Encoded Explicitly in Databases? VaMoS 2021: 3:1-3:9 - 2020
- [c32]Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm:
Variational satisfiability solving. SPLC (A) 2020: 18:1-18:12 - [c31]Jacob Krüger
Third International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020). SPLC (A) 2020: 34:1
2010 – 2019
- 2019
- [c30]Thomas Thüm, Leopoldo Teixeira, Klaus Schmid
Towards efficient analysis of variation in time and space. SPLC (B) 2019: 69:1-69:8 - [i1]Parisa Ataei, Qiaoran Li, Eric Walkingshaw, Arash Termehchy:
Managing Variability in Relational Databases by VDBMS. CoRR abs/1911.11184 (2019) - 2018
- [j6]John Peter Campora III, Sheng Chen, Eric Walkingshaw:
Casts and costs: harmonizing safety and performance in gradual typing. Proc. ACM Program. Lang. 2(ICFP): 98:1-98:30 (2018) - [j5]John Peter Campora III, Sheng Chen, Martin Erwig
Migrating gradual types. Proc. ACM Program. Lang. 2(POPL): 15:1-15:29 (2018) - [c29]Stephan Adelsberger
Declarative GUIs: Simple, Consistent, and Verified. PPDP 2018: 4:1-4:15 - [c28]Stephan Adelsberger, Anton Setzer, Eric Walkingshaw:
Developing GUI Applications in a Verified Setting. SETTA 2018: 89-107 - [c27]Jeffrey M. Young, Eric Walkingshaw:
A Domain Analysis of Data Structure and Algorithm Explanations in the Wild. SIGCSE 2018: 870-875 - [c26]Parisa Ataei, Arash Termehchy, Eric Walkingshaw:
Managing Structurally Heterogeneous Databases in Software Product Lines. Poly/DMAH@VLDB 2018: 68-77 - 2017
- [c25]Parisa Ataei, Arash Termehchy, Eric Walkingshaw:
Variational databases. DBPL 2017: 11:1-11:4 - [c24]Rahul Gopinath
How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations. ICST Workshops 2017: 122-127 - [c23]Meng Meng, Jens Meinicke, Chu-Pan Wong, Eric Walkingshaw, Christian Kästner:
A choice of variational stacks: exploring variational data structures. VaMoS 2017: 28-35 - [e1]Jocelyn Simmonds, Eric Walkingshaw:
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, FOSD@SPLASH 2017, Vancouver, BC, Canada, October 23, 2017. ACM 2017, ISBN 978-1-4503-5518-6 [contents] - 2016
- [c22]Sheng Chen, Martin Erwig, Eric Walkingshaw:
A Calculus for Variational Programming. ECOOP 2016: 6:1-6:28 - [c21]Stefan Stanciulescu, Thorsten Berger, Eric Walkingshaw, Andrzej Wasowski
Concepts, Operations, and Feasibility of a Projection-Based Variation Control System. ICSME 2016: 323-333 - [c20]Spencer Hubbard, Eric Walkingshaw:
Formula choice calculus. FOSD 2016: 49-57 - 2015
- [c19]Keeley Abbott, Christopher Bogart
Programs for people: What we can learn from lab protocols. VL/HCC 2015: 203-211 - 2014
- [j4]Sheng Chen, Martin Erwig
Extending Type Inference to Variational Programs. ACM Trans. Program. Lang. Syst. 36(1): 1:1-1:54 (2014) - [c18]Eric Walkingshaw, Klaus Ostermann:
Projectional editing of variational software. GPCE 2014: 29-38 - [c17]Eric Walkingshaw, Christian Kästner
Variational Data Structures: Exploring Tradeoffs in Computing with Variability. Onward! 2014: 213-226 - 2013
- [j3]Martin Erwig
A visual language for explaining probabilistic reasoning. J. Vis. Lang. Comput. 24(2): 88-109 (2013) - [c16]Martin Erwig, Eric Walkingshaw, Sheng Chen:
An abstract representation of variational graphs. FOSD 2013: 25-32 - [c15]Martin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw:
Adding configuration to the choice calculus. VaMoS 2013: 13:1-13:8 - 2012
- [c14]Eric Walkingshaw, Martin Erwig
A calculus for modeling and implementing variation. GPCE 2012: 132-140 - [c13]Sheng Chen, Martin Erwig
An error-tolerant type system for variational lambda calculus. ICFP 2012: 29-40 - 2011
- [j2]Martin Erwig
The Choice Calculus: A Representation for Software Variation. ACM Trans. Softw. Eng. Methodol. 21(1): 6:1-6:27 (2011) - [c12]Martin Erwig, Eric Walkingshaw:
Variation Programming with the Choice Calculus. GTTSE 2011: 55-100 - [c11]Martin Erwig, Eric Walkingshaw:
Semantics First! - Rethinking the Language Design Process. SLE 2011: 243-262 - [c10]Duc Le, Eric Walkingshaw, Martin Erwig:
#ifdef confirmed harmful: Promoting understandable software variation. VL/HCC 2011: 143-150 - [c9]Eric Walkingshaw, Martin Erwig
A DSEL for Studying and Explaining Causation. DSL 2011: 143-167 - 2010
- [c8]Martin Erwig, Eric Walkingshaw:
Program fields for continuous software. FoSER 2010: 105-108 - [c7]Martin Erwig, Eric Walkingshaw:
Causal Reasoning with Neuron Diagrams. VL/HCC 2010: 101-108 - [c6]Eric Walkingshaw:
Managing Variation in Explanation-Oriented Languages. VL/HCC 2010: 247-248
2000 – 2009
- 2009
- [j1]Eric Walkingshaw, Martin Erwig
A domain-specific language for experimental game theory. J. Funct. Program. 19(6): 645-661 (2009) - [c5]Eric Walkingshaw, Martin Erwig:
Varying Domain Representations in Hagl. DSL 2009: 310-334 - [c4]Martin Erwig, Eric Walkingshaw:
A DSL for Explaining Probabilistic Reasoning. DSL 2009: 335-359 - [c3]Martin Erwig
Visual explanations of probabilistic reasoning. VL/HCC 2009: 23-27 - 2008
- [c2]Martin Erwig
A visual language for representing and explaining strategies in game theory. VL/HCC 2008: 101-108 - [c1]Eric Walkingshaw:
Designing explanation-oriented languages. VL/HCC 2008: 274-275
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: