default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Erwig
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j43]Martin Erwig
, Prashant Kumar:
Explanations for combinatorial optimization problems. J. Comput. Lang. 79: 101272 (2024)- [c113]Jennifer Parham-Mocello, Martin Erwig, Margaret Niess:
Analogies and Active Engagement: Introducing Computer Science. SIGCSE (1) 2024: 1007-1013 - 2023
- [j42]Divya Bajaj, Martin Erwig, Danila Fedorin:
A visual notation for succinct program traces. J. Comput. Lang. 75: 101199 (2023) - [c112]Prashant Kumar, Martin Erwig:
MatchMaker: A DSL for Game-Theoretic Matching. TFP 2023: 51-71 - [c111]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: 444-450 - 2022
- [j41]John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw:
Migrating gradual types. J. Funct. Program. 32: e14 (2022) - [c110]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: 1-9 - [c109]Jennifer Parham-Mocello, Aiden Nelson, Martin Erwig:
Exploring the Use of Games and a Domain-Specific Teaching Language in CS0. ITiCSE (1) 2022: 351-357 - [i5]Margaret Burnett, Martin Erwig, Abrar Fallatah, Christopher Bogart, Anita Sarma:
Intersectionality Goes Analytical: Taming Combinatorial Explosion Through Type Abstraction. CoRR abs/2201.10643 (2022) - [i4]Martin Erwig, Prashant Kumar:
Explaining Results of Multi-Criteria Decision Making. CoRR abs/2209.04582 (2022) - 2021
- [j40]Martin Erwig, Prashant Kumar:
Explainable dynamic programming. J. Funct. Program. 31: e10 (2021) - [c108]Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay:
Adaptable Traces for Program Explanations. APLAS 2021: 202-221 - [c107]Martin Erwig, Prashant Kumar:
MADMAX: a DSL for explanatory decision making. GPCE 2021: 144-155 - [c106]Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay:
A Visual Notation for Succinct Program Traces. VL/HCC 2021: 1-9 - [c105]Jennifer Parham-Mocello, Martin Erwig, Margaret Niess:
Teaching CS Middle School Camps in a Virtual World. VL/HCC 2021: 1-4 - 2020
- [c104]Martin Erwig, Prashant Kumar, Alan Fern:
Explanations for Dynamic Programming. PADL 2020: 179-195 - [c103]Jennifer Parham-Mocello, Martin Erwig:
Does Story Programming Prepare for Coding? SIGCSE 2020: 100-106 - [e4]Martin Erwig, Jeff Gray:
GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020. ACM 2020, ISBN 978-1-4503-8174-1 [contents]
2010 – 2019
- 2019
- [c102]Alan F. Blackwell, Luke Church, Martin Erwig, James Geddes, Andy Gordon, Maria I. Gorinova, Atilim Gunes Baydin, Bradley Gram-Hansen, Tobias Kohn, Neil D. Lawrence, Vikash Mansinghka, Brooks Paige, Tomas Petricek, Diana Robinson, Advait Sarkar, Oliver Strickson:
Usability of Probabilistic Programming Languages. PPIG 2019 - [c101]Jennifer Parham-Mocello, Shannon Ernst, Martin Erwig, Lily Shellhammer, Emily Dominguez:
Story Programming: Explaining Computer Science Before Coding. SIGCSE 2019: 379-385 - [c100]Jennifer Parham-Mocello, Martin Erwig, Emily Dominguez:
To Code or Not to Code? Programming in Introductory CS Courses. VL/HCC 2019: 187-191 - 2018
- [j39]Sheng Chen, Martin Erwig:
Systematic identification and communication of type errors. J. Funct. Program. 28: e2 (2018) - [j38]John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw:
Migrating gradual types. Proc. ACM Program. Lang. 2(POPL): 15:1-15:29 (2018) - [c99]Martin Erwig, Karl Smeltzer:
Variational Pictures. Diagrams 2018: 55-70 - [c98]Karl Smeltzer, Martin Erwig:
A domain-specific language for exploratory data visualization. GPCE 2018: 1-13 - [c97]Jácome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc:
Explaining spreadsheets with spreadsheets (short paper). GPCE 2018: 161-167 - [c96]Karl Smeltzer, Martin Erwig:
Comparative Visualizations through Parameterization and Variability. VL/HCC 2018: 7-15 - [i3]Martin Erwig:
Typed Table Transformations. CoRR abs/1809.02746 (2018) - 2017
- [j37]Martin Erwig, Karl Smeltzer, Xiangyu Wang:
What is a visual language? J. Vis. Lang. Comput. 38: 9-17 (2017) - [j36]Sheng Chen, Martin Erwig, Karl Smeltzer:
Exploiting diversity in type checkers for better error messages. J. Vis. Lang. Comput. 39: 10-21 (2017) - [c95]Karl Smeltzer, Martin Erwig:
Variational lists: comparisons and design guidelines. FOSD 2017: 31-40 - 2016
- [j35]Jácome Cunha, Martin Erwig, Jorge Mendes, João Saraiva:
Model inference for spreadsheets. Autom. Softw. Eng. 23(3): 361-392 (2016) - [c94]Sheng Chen, Martin Erwig, Eric Walkingshaw:
A Calculus for Variational Programming. ECOOP 2016: 6:1-6:28 - [c93]Sheng Chen, Martin Erwig:
Principal type inference for GADTs. POPL 2016: 416-428 - [e3]Martin Erwig, Tiark Rompf:
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. ACM 2016, ISBN 978-1-4503-4097-7 [contents] - 2015
- [i2]Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser:
Domain-Specific Languages (Dagstuhl Seminar 15062). Dagstuhl Reports 5(2): 26-43 (2015) - 2014
- [j34]Sheng Chen, Martin Erwig, Eric Walkingshaw:
Extending Type Inference to Variational Programs. ACM Trans. Program. Lang. Syst. 36(1): 1:1-1:54 (2014) - [c92]Sheng Chen, Martin Erwig:
Guided Type Debugging. FLOPS 2014: 35-51 - [c91]Karl Smeltzer, Martin Erwig, Ronald A. Metoyer:
A transformational approach to data visualization. GPCE 2014: 53-62 - [c90]Sheng Chen, Martin Erwig:
Type-based parametric analysis of program families. ICFP 2014: 39-51 - [c89]Eric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden:
Variational Data Structures: Exploring Tradeoffs in Computing with Variability. Onward! 2014: 213-226 - [c88]Sheng Chen, Martin Erwig:
Early detection of type errors in C++ templates. PEPM 2014: 133-144 - [c87]Sheng Chen, Martin Erwig:
Counter-factual typing for debugging type errors. POPL 2014: 583-594 - [c86]Sheng Chen, Martin Erwig, Karl Smeltzer:
Let's hear both sides: On combining type-error reporting tools. VL/HCC 2014: 145-152 - [c85]Martin Erwig, Karl Smeltzer, Keying Xu:
A notation for non-linear program edits. VL/HCC 2014: 205-206 - 2013
- [j33]Martin Erwig, Eric Walkingshaw:
A visual language for explaining probabilistic reasoning. J. Vis. Lang. Comput. 24(2): 88-109 (2013) - [c84]Martin Erwig, Eric Walkingshaw, Sheng Chen:
An abstract representation of variational graphs. FOSD 2013: 25-32 - [c83]Martin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw:
Adding configuration to the choice calculus. VaMoS 2013: 13:1-13:8 - [c82]Martin Erwig:
Explicitness in language design. VL/HCC 2013: 2 - [e2]Martin Erwig, Richard F. Paige, Eric Van Wyk:
Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. Lecture Notes in Computer Science 8225, Springer 2013, ISBN 978-3-319-02653-4 [contents] - 2012
- [j32]Markus Luckey, Martin Erwig, Gregor Engels:
Systematic evolution of model-based spreadsheet applications. J. Vis. Lang. Comput. 23(5): 267-286 (2012) - [c81]Martin Erwig, Rahul Gopinath:
Explanations for Regular Expressions. FASE 2012: 394-408 - [c80]Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Faster program adaptation through reward attribution inference. GPCE 2012: 103-111 - [c79]Eric Walkingshaw, Martin Erwig:
A calculus for modeling and implementing variation. GPCE 2012: 132-140 - [c78]Wyatt Allen, Martin Erwig:
Surveyor: a DSEL for representing and analyzing strongly typed surveys. Haskell 2012: 81-90 - [c77]Sheng Chen, Martin Erwig, Eric Walkingshaw:
An error-tolerant type system for variational lambda calculus. ICFP 2012: 29-40 - [c76]Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour:
Learning-Based Test Programming for Programmers. ISoLA (1) 2012: 572-586 - [c75]Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez:
Lightweight Automated Testing with Adaptation-Based Programming. ISSRE 2012: 161-170 - [c74]Alex Groce, Martin Erwig:
Finding common ground: choose, assert, and assume. WODA 2012: 12-17 - [e1]Martin Erwig, Gem Stapleton, Gennaro Costagliola:
2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012. IEEE 2012, ISBN 978-1-4673-0852-6 [contents] - 2011
- [j31]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): 21:1-21:44 (2011) - [j30]Martin Erwig, Eric Walkingshaw:
The Choice Calculus: A Representation for Software Variation. ACM Trans. Softw. Eng. Methodol. 21(1): 6:1-6:27 (2011) - [c73]Martin Erwig, Eric Walkingshaw:
Variation Programming with the Choice Calculus. GTTSE 2011: 55-100 - [c72]Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Adaptation-based programming in java. PEPM 2011: 81-90 - [c71]Martin Erwig, Eric Walkingshaw:
Semantics First! - Rethinking the Language Design Process. SLE 2011: 243-262 - [c70]Sheng Chen, Martin Erwig:
Optimizing the Product Derivation Process. SPLC 2011: 35-44 - [c69]Duc Le, Eric Walkingshaw, Martin Erwig:
#ifdef confirmed harmful: Promoting understandable software variation. VL/HCC 2011: 143-150 - [c68]Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Adaptation-Based Programming in Haskell. DSL 2011: 1-23 - [c67]Eric Walkingshaw, Martin Erwig:
A DSEL for Studying and Explaining Causation. DSL 2011: 143-167 - [c66]Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig:
Improving Policy Gradient Estimates with Influence Information. ACML 2011: 1-18 - 2010
- [j29]Chris Chambers, Martin Erwig:
Reasoning about spreadsheets with labels and dimensions. J. Vis. Lang. Comput. 21(5): 249-262 (2010) - [c65]Martin Erwig:
A language for software variation research. GPCE 2010: 3-12 - [c64]Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig:
Robust Learning for Adaptive Programs by Leveraging Program Structure. ICMLA 2010: 943-948 - [c63]Martin Erwig, Eric Walkingshaw:
Program fields for continuous software. FoSER 2010: 105-108 - [c62]Martin Erwig:
A Language for Software Variation Research. SLE 2010: 1 - [c61]Chris Chambers, Martin Erwig, Markus Luckey:
SheetDiff: A Tool for Identifying Changes in Spreadsheets. VL/HCC 2010: 85-92 - [c60]Jácome Cunha, Martin Erwig, João Saraiva:
Automatically Inferring ClassSheet Models from Spreadsheets. VL/HCC 2010: 93-100 - [c59]Martin Erwig, Eric Walkingshaw:
Causal Reasoning with Neuron Diagrams. VL/HCC 2010: 101-108
2000 – 2009
- 2009
- [j28]Eric Walkingshaw, Martin Erwig:
A domain-specific language for experimental game theory. J. Funct. Program. 19(6): 645-661 (2009) - [j27]Martin Erwig:
Software Engineering for Spreadsheets. IEEE Softw. 26(5): 25-30 (2009) - [j26]Robin Abraham, Martin Erwig:
Mutation Operators for Spreadsheets. IEEE Trans. Software Eng. 35(1): 94-108 (2009) - [j25]Chris Chambers, Martin Erwig:
Automatic detection of dimension errors in spreadsheets. J. Vis. Lang. Comput. 20(4): 269-283 (2009) - [c58]Eric Walkingshaw, Martin Erwig:
Varying Domain Representations in Hagl. DSL 2009: 310-334 - [c57]Martin Erwig, Eric Walkingshaw:
A DSL for Explaining Probabilistic Reasoning. DSL 2009: 335-359 - [c56]Tim Bauer, Martin Erwig:
Declarative Scripting in Haskell. SLE 2009: 294-313 - [c55]Martin Erwig, Eric Walkingshaw:
Visual explanations of probabilistic reasoning. VL/HCC 2009: 23-27 - [c54]Chris Chambers, Martin Erwig:
Combining spatial and semantic label analysis. VL/HCC 2009: 225-232 - 2008
- [c53]Martin Erwig, Eric Walkingshaw:
A visual language for representing and explaining strategies in game theory. VL/HCC 2008: 101-108 - [c52]Chris Chambers, Martin Erwig:
Dimension inference in spreadsheets. VL/HCC 2008: 123-130 - [c51]Robin Abraham, Martin Erwig:
Test-driven goal-directed debugging in spreadsheets. VL/HCC 2008: 131-138 - [p1]Robin Abraham, Margaret M. Burnett, Martin Erwig:
Spreadsheet Programming. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j24]Jan-Christopher Bals, Fabian Christ, Gregor Engels, Martin Erwig:
ClassSheets - model-based, object-oriented design of spreadsheet applications. J. Object Technol. 6(9): 383-398 (2007) - [j23]Martin Erwig, Deling Ren:
An update calculus for expressing type-safe program updates. Sci. Comput. Program. 67(2-3): 199-222 (2007) - [j22]Martin Erwig, Zhe Fu, Ben Pflaum:
Parametric Fortran: program generation in scientific computing. J. Softw. Maintenance Res. Pract. 19(3): 155-182 (2007) - [j21]Robin Abraham, Martin Erwig:
UCheck: A spreadsheet type checker for end users. J. Vis. Lang. Comput. 18(1): 71-95 (2007) - [c50]Robin Abraham, Martin Erwig:
GoalDebug: A Spreadsheet Debugger for End Users. ICSE 2007: 251-260 - [c49]Martin Erwig, Robin Abraham:
Understanding and Building Spreadsheet Tools. VL/HCC 2007: 7 - [c48]Robin Abraham, Martin Erwig, Scott Andrew:
A Type System Based on End-User Vocabulary. VL/HCC 2007: 215-222 - [i1]Robin Abraham, Martin Erwig:
Exploiting Domain-Specific Structures For End-User Programming Support Tools. End-User Software Engineering 2007 - 2006
- [j20]Martin Erwig, Steve Kollmansberger:
Functional Pearls: Probabilistic functional programming in Haskell. J. Funct. Program. 16(1): 21-34 (2006) - [j19]Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein:
Gencel: a program generator for correct spreadsheets. J. Funct. Program. 16(3): 293-325 (2006) - [j18]Martin Erwig:
Visual type inference. J. Vis. Lang. Comput. 17(2): 161-186 (2006) - [c47]Deling Ren, Martin Erwig:
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Haskell 2006: 13-24 - [c46]Robin Abraham, Martin Erwig:
Inferring templates from spreadsheets. ICSE 2006: 182-191 - [c45]Martin Erwig, Steve Kollmansberger:
Modeling Genome Evolution with a DSEL for Probabilistic Programming. PADL 2006: 134-149 - [c44]Martin Erwig, Zhe Fu, Ben Pflaum:
Generic programming in Fortran. PEPM 2006: 130-139 - [c43]Robin Abraham, Martin Erwig:
Type inference for spreadsheets. PPDP 2006: 73-84 - [c42]Joseph Lawrance, Robin Abraham, Margaret M. Burnett, Martin Erwig:
Sharing reasoning about faults in spreadsheets: An empirical study. VL/HCC 2006: 35-42 - [c41]Robin Abraham, Martin Erwig:
AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets. VL/HCC 2006: 43-50 - 2005
- [j17]Robin Abraham, Martin Erwig:
How to communicate unit error messages in spreadsheets. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-5 (2005) - [j16]Martin Erwig, Zhe Fu:
Software reuse for scientific computing through program generation. ACM Trans. Softw. Eng. Methodol. 14(2): 168-198 (2005) - [c40]Robin Abraham, Martin Erwig:
How to communicate unit error messages in spreadsheets. WEUSE@ICSE 2005: 5:1-5:5 - [c39]Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger:
Automatic generation and maintenance of correct spreadsheets. ICSE 2005: 136-145 - [c38]Gregor Engels, Martin Erwig:
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. ASE 2005: 124-133 - [c37]Robin Abraham, Martin Erwig:
Goal-Directed Debugging of Spreadsheets. VL/HCC 2005: 37-44 - [c36]Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert:
Visual Specifications of Correct Spreadsheets. VL/HCC 2005: 189-196 - 2004
- [j15]Martin Erwig:
Escape from Zurg: an exercise in logic programming. J. Funct. Program. 14(3): 253-261 (2004) - [j14]Martin Erwig, Deling Ren:
Monadification of functional programs. Sci. Comput. Program. 52: 101-129 (2004) - [c35]Martin Erwig, Zhe Fu:
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. PADL 2004: 209-223 - [c34]Robin Abraham, Martin Erwig:
Header and Unit Inference for Spreadsheets Through Spatial Analyses. VL/HCC 2004: 165-172 - 2003
- [j13]Martin Erwig:
Xing: a visual XML query language. J. Vis. Lang. Comput. 14(1): 5-45 (2003) - [j12]