Martin Erwig

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 32

Top Venues

University of Hagen, Germany (PHD)

Education History

University of Hagen, Germany

PHD

Publications

Jennifer Parham-Mocello, Martin Erwig, Margaret Niess, Jason Weber, Madelyn Smith, Garrett Berliner
Putting Computing on the Table: Using Physical Games to Teach Computer Science. SIGCSE (1) (2023)
Prashant Kumar, Martin Erwig
MatchMaker: A DSL for Game-Theoretic Matching. TFP (2023)
Divya Bajaj, Martin Erwig, Danila Fedorin
A visual notation for succinct program traces. J. Comput. Lang. 75 (2023)
Jennifer Parham-Mocello, Martin Erwig, Margaret Niess, Aiden Nelson, Jason Weber, Garrett Berliner
Using a Functional Board Game Language to Teach Middle School Programming. FIE (2022)
Martin Erwig, Prashant Kumar
Explaining Results of Multi-Criteria Decision Making. CoRR (2022)
Jennifer Parham-Mocello, Aiden Nelson, Martin Erwig
Exploring the Use of Games and a Domain-Specific Teaching Language in CS0. ITiCSE (1) (2022)
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
Migrating gradual types. J. Funct. Program. 32 (2022)
Margaret Burnett, Martin Erwig, Abrar Fallatah, Christopher Bogart, Anita Sarma
Intersectionality Goes Analytical: Taming Combinatorial Explosion Through Type Abstraction. CoRR (2022)
Martin Erwig, Prashant Kumar
MADMAX: a DSL for explanatory decision making. GPCE (2021)
Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay
Adaptable Traces for Program Explanations. APLAS (2021)
Jennifer Parham-Mocello, Martin Erwig, Margaret Niess
Teaching CS Middle School Camps in a Virtual World. VL/HCC (2021)
Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay
A Visual Notation for Succinct Program Traces. VL/HCC (2021)
Martin Erwig, Prashant Kumar
Explainable dynamic programming. J. Funct. Program. 31 (2021)
Jennifer Parham-Mocello, Martin Erwig
Does Story Programming Prepare for Coding? SIGCSE (2020)
Martin Erwig, Prashant Kumar, Alan Fern
Explanations for Dynamic Programming. PADL (2020)
Alan F. Blackwell, Luke Church, Martin Erwig, James Geddes, Andy Gordon, Maria I. Gorinova, Atilim Gunes Baydin, Bradley Gram-Hansen, Tobias Kohn, Neil Lawrence, Vikash Mansinghka, Brooks Paige, Tomas Petricek, Diana Robinson, Advait Sarkar, Oliver Strickson
Usability of Probabilistic Programming Languages. PPIG (2019)
Jennifer Parham-Mocello, Shannon Ernst, Martin Erwig, Lily Shellhammer, Emily Dominguez
Story Programming: Explaining Computer Science Before Coding. SIGCSE (2019)
Jennifer Parham-Mocello, Martin Erwig, Emily Dominguez
To Code or Not to Code? Programming in Introductory CS Courses. VL/HCC (2019)
Martin Erwig
Typed Table Transformations. CoRR (2018)
Martin Erwig, Karl Smeltzer
Variational Pictures. Diagrams (2018)
Karl Smeltzer, Martin Erwig
Comparative Visualizations through Parameterization and Variability. VL/HCC (2018)
Karl Smeltzer, Martin Erwig
A domain-specific language for exploratory data visualization. GPCE (2018)
Sheng Chen, Martin Erwig
Systematic identification and communication of type errors. J. Funct. Program. 28 (2018)
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
Migrating gradual types. Proc. ACM Program. Lang. 2 (POPL) (2018)
Jácome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc
Explaining spreadsheets with spreadsheets (short paper). GPCE (2018)
Sheng Chen, Martin Erwig, Karl Smeltzer
Exploiting diversity in type checkers for better error messages. J. Vis. Lang. Comput. 39 (2017)
Martin Erwig, Karl Smeltzer, Xiangyu Wang
What is a visual language? J. Vis. Lang. Comput. 38 (2017)
Karl Smeltzer, Martin Erwig
Variational lists: comparisons and design guidelines. FOSD (2017)
Sheng Chen, Martin Erwig, Eric Walkingshaw
A Calculus for Variational Programming. ECOOP (2016)
Jácome Cunha, Martin Erwig, Jorge Mendes, João Saraiva
Model inference for spreadsheets. Autom. Softw. Eng. 23 (3) (2016)
Sheng Chen, Martin Erwig
Principal type inference for GADTs. POPL (2016)
Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser
Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports 5 (2) (2015)
Sheng Chen, Martin Erwig
Guided Type Debugging. FLOPS (2014)
Sheng Chen, Martin Erwig, Eric Walkingshaw
Extending Type Inference to Variational Programs. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Sheng Chen, Martin Erwig
Type-based parametric analysis of program families. ICFP (2014)
Karl Smeltzer, Martin Erwig, Ronald A. Metoyer
A transformational approach to data visualization. GPCE (2014)
Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden
Variational Data Structures: Exploring Tradeoffs in Computing with Variability. Onward! (2014)
Sheng Chen, Martin Erwig
Early detection of type errors in C++ templates. PEPM (2014)
Sheng Chen, Martin Erwig, Karl Smeltzer
Let's hear both sides: On combining type-error reporting tools. VL/HCC (2014)
Martin Erwig, Karl Smeltzer, Keying Xu
A notation for non-linear program edits. VL/HCC (2014)
Sheng Chen, Martin Erwig
Counter-factual typing for debugging type errors. POPL (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)
Martin Erwig
Explicitness in language design. VL/HCC (2013)
Martin Erwig, Rahul Gopinath
Explanations for Regular Expressions. FASE (2012)
Sheng Chen, Martin Erwig, Eric Walkingshaw
An error-tolerant type system for variational lambda calculus. ICFP (2012)
Alex Groce, Martin Erwig
Finding common ground: choose, assert, and assume. WODA (2012)
Markus Luckey, Martin Erwig, Gregor Engels
Systematic evolution of model-based spreadsheet applications. J. Vis. Lang. Comput. 23 (5) (2012)
Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto
Faster program adaptation through reward attribution inference. GPCE (2012)
Eric Walkingshaw, Martin Erwig
A calculus for modeling and implementing variation. GPCE (2012)
Wyatt Allen, Martin Erwig
Surveyor: a DSEL for representing and analyzing strongly typed surveys. Haskell (2012)
Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez
Lightweight Automated Testing with Adaptation-Based Programming. ISSRE (2012)
Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour
Learning-Based Test Programming for Programmers. ISoLA (1) (2012)
Martin Erwig, Eric Walkingshaw
Variation Programming with the Choice Calculus. GTTSE (2011)
Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto
Adaptation-Based Programming in Haskell DSL (2011)
Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto
Adaptation-based programming in java. PEPM (2011)
Amy J. Ko, Robin Abraham, Laura Beckwith, Alan F. Blackwell, Margaret M. Burnett, Martin Erwig, Christopher Scaffidi, Joseph Lawrance, Henry Lieberman, Brad A. Myers, Mary Beth Rosson, Gregg Rothermel, Mary Shaw, Susan Wiedenbeck
The state of the art in end-user software engineering. ACM Comput. Surv. 43 (3) (2011)
Eric Walkingshaw, Martin Erwig
A DSEL for Studying and Explaining Causation DSL (2011)
Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig
Improving Policy Gradient Estimates with Influence Information. ACML (2011)
Martin Erwig, Eric Walkingshaw
The Choice Calculus: A Representation for Software Variation. ACM Trans. Softw. Eng. Methodol. 21 (1) (2011)
Sheng Chen, Martin Erwig
Optimizing the Product Derivation Process. SPLC (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
A language for software variation research. GPCE (2010)
Martin Erwig, Eric Walkingshaw
Program fields for continuous software. FoSER (2010)
Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig
Robust Learning for Adaptive Programs by Leveraging Program Structure. ICMLA (2010)
Martin Erwig
A Language for Software Variation Research. SLE (2010)
Jácome Cunha, Martin Erwig, João Saraiva
Automatically Inferring ClassSheet Models from Spreadsheets. VL/HCC (2010)
Chris Chambers, Martin Erwig, Markus Luckey
SheetDiff: A Tool for Identifying Changes in Spreadsheets. VL/HCC (2010)
Chris Chambers, Martin Erwig
Reasoning about spreadsheets with labels and dimensions. J. Vis. Lang. Comput. 21 (5) (2010)
Chris Chambers, Martin Erwig
Combining spatial and semantic label analysis. VL/HCC (2009)
Tim Bauer, Martin Erwig
Declarative Scripting in Haskell. SLE (2009)
Martin Erwig, Eric Walkingshaw
A DSL for Explaining Probabilistic Reasoning. DSL (2009)
Eric Walkingshaw, Martin Erwig
Varying Domain Representations in Hagl. DSL (2009)
Martin Erwig
Software Engineering for Spreadsheets. IEEE Softw. 26 (5) (2009)
Chris Chambers, Martin Erwig
Automatic detection of dimension errors in spreadsheets. J. Vis. Lang. Comput. 20 (4) (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)
Robin Abraham, Martin Erwig
Mutation Operators for Spreadsheets. IEEE Trans. Software Eng. 35 (1) (2009)
Chris Chambers, Martin Erwig
Dimension inference in spreadsheets. VL/HCC (2008)
Robin Abraham, Martin Erwig
Test-driven goal-directed debugging in spreadsheets. VL/HCC (2008)
Martin Erwig, Eric Walkingshaw
A visual language for representing and explaining strategies in game theory. VL/HCC (2008)
Jan-Christopher Bals, Fabian Christ, Gregor Engels, Martin Erwig
ClassSheets - model-based, object-oriented design of spreadsheet applications. J. Object Technol. 6 (9) (2007)
Martin Erwig, Robin Abraham
Understanding and Building Spreadsheet Tools. VL/HCC (2007)
Martin Erwig, Zhe Fu, Ben Pflaum
Parametric Fortran: program generation in scientific computing. J. Softw. Maintenance Res. Pract. 19 (3) (2007)
Martin Erwig, Deling Ren
An update calculus for expressing type-safe program updates. Sci. Comput. Program. 67 (2-3) (2007)
Robin Abraham, Martin Erwig, Scott Andrew
A Type System Based on End-User Vocabulary. VL/HCC (2007)
Robin Abraham, Martin Erwig
Exploiting Domain-Specific Structures For End-User Programming Support Tools. End-User Software Engineering (2007)
Robin Abraham, Martin Erwig
GoalDebug: A Spreadsheet Debugger for End Users. ICSE (2007)
Robin Abraham, Martin Erwig
UCheck: A spreadsheet type checker for end users. J. Vis. Lang. Comput. 18 (1) (2007)
Joseph Lawrance, Robin Abraham, Margaret M. Burnett, Martin Erwig
Sharing reasoning about faults in spreadsheets: An empirical study. VL/HCC (2006)
Martin Erwig, Steve Kollmansberger
Functional Pearls: Probabilistic functional programming in Haskell. J. Funct. Program. 16 (1) (2006)
Robin Abraham, Martin Erwig
AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. VL/HCC (2006)
Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein
Gencel: a program generator for correct spreadsheets. J. Funct. Program. 16 (3) (2006)
Robin Abraham, Martin Erwig
Inferring templates from spreadsheets. ICSE (2006)
Martin Erwig
Visual type inference. J. Vis. Lang. Comput. 17 (2) (2006)
Martin Erwig, Zhe Fu, Ben Pflaum
Generic programming in Fortran. PEPM (2006)
Martin Erwig, Steve Kollmansberger
Modeling Genome Evolution with a DSEL for Probabilistic Programming. PADL (2006)

Martin Erwig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Erwig