Martin Erwig - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Martin Erwig' as author, editor, or advisor:

A rule-based language for programming software updatesMartin Erwig, Deling Ren. SIGPLAN, 37(12):88-97, 2002. [doi]
#ifdef confirmed harmful: Promoting understandable software variationDuc Le, Eric Walkingshaw, Martin Erwig. vl 2011: 143-150 [doi]
Story Programming: Explaining Computer Science Before CodingJennifer Parham-Mocello, Shannon Ernst, Martin Erwig, Lily Shellhammer, Emily Dominguez. sigcse 2019: 379-385 [doi]
The Choice Calculus: A Representation for Software VariationMartin Erwig, Eric Walkingshaw. TOSEM, 21(1):6, 2011. [doi]
MatchMaker: A DSL for Game-Theoretic MatchingPrashant Kumar, Martin Erwig. sfp 2023: 51-71 [doi]
Variational Data Structures: Exploring Tradeoffs in Computing with VariabilityEric Walkingshaw, Christian Kästner, Martin Erwig, Sven Apel, Eric Bodden. OOPSLA 2014: 213-226 [doi]
Explanations for Regular ExpressionsMartin Erwig, Rahul Gopinath. FASE 2012: 394-408 [doi]
Counter-factual typing for debugging type errorsSheng Chen 0008, Martin Erwig. POPL 2014: 583-594 [doi]
Guided Type DebuggingSheng Chen 0008, Martin Erwig. FLOPS 2014: 35-51 [doi]
Variational PicturesMartin Erwig, Karl Smeltzer. diagrams 2018: 55-70 [doi]
Explicitness in language designMartin Erwig. vl 2013: 2 [doi]
How to communicate unit error messages in spreadsheetsRobin Abraham, Martin Erwig. ICSE 2005: [doi]
Faster program adaptation through reward attribution inferenceTim Bauer, Martin Erwig, Alan Fern, Jervis Pinto. GPCE 2012: 103-111 [doi]
Usability of Probabilistic Programming LanguagesAlan F. Blackwell, Luke Church, Martin Erwig, James Geddes, Andy Gordon 0001, Maria I. Gorinova 0001, Atilim Gunes Baydin, Bradley Gram-Hansen, Tobias Kohn, Neil Lawrence, Vikash Mansinghka 0001, Brooks Paige, Tomas Petricek 0001, Diana Robinson, Advait Sarkar, Oliver Strickson. PPIG 2019: [doi]
A domain-specific language for exploratory data visualizationKarl Smeltzer, Martin Erwig. GPCE 2018: 1-13 [doi]
Learning-Based Test Programming for ProgrammersAlex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour. ISoLA 2012: 572-586 [doi]
Comparative Visualizations through Parameterization and VariabilityKarl Smeltzer, Martin Erwig. vl 2018: 7-15 [doi]
Variation Programming with the Choice CalculusMartin Erwig, Eric Walkingshaw. GTTSE 2013: 55-100 [doi]
Lightweight Automated Testing with Adaptation-Based ProgrammingAlex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez. issre 2012: 161-170 [doi]
What is a visual language?Martin Erwig, Karl Smeltzer, Xiangyu Wang. JCL (JVLC), 38:9-17, 2017. [doi]
Teaching CS Middle School Camps in a Virtual WorldJennifer Parham-Mocello, Martin Erwig, Margaret Niess. vl 2021: 1-4 [doi]
Extending Type Inference to Variational ProgramsSheng Chen 0008, Martin Erwig, Eric Walkingshaw. TOPLAS, 36(1):1, 2014. [doi]
Domain-Specific Languages (Dagstuhl Seminar 15062)Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser. dagstuhl-reports, 5(2):26-43, 2015. [doi]
Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. ProceedingsMartin Erwig, Richard F. Paige, Eric {Van Wyk}, editors, Volume 8225 of Lecture Notes in Computer Science, Springer, 2013. [doi]
Exploiting diversity in type checkers for better error messagesSheng Chen, Martin Erwig, Karl Smeltzer. JCL (JVLC), 39:10-21, 2017. [doi]
2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012Martin Erwig, Gem Stapleton, Gennaro Costagliola, editors, IEEE, 2012. [doi]
Migrating gradual typesJohn Peter Campora III, Sheng Chen 0008, Martin Erwig, Eric Walkingshaw. JFP, 32, 2022. [doi]
A Calculus for Variational ProgrammingSheng Chen 0008, Martin Erwig, Eric Walkingshaw. ECOOP 2016: [doi]
MADMAX: a DSL for explanatory decision makingMartin Erwig, Prashant Kumar. GPCE 2021: 144-155 [doi]
Variational lists: comparisons and design guidelinesKarl Smeltzer, Martin Erwig. OOPSLA 2017: 31-40 [doi]
Using a Functional Board Game Language to Teach Middle School ProgrammingJennifer Parham-Mocello, Martin Erwig, Margaret Niess, Aiden Nelson, Jason Weber, Garrett Berliner. mcs 2022: 1-9 [doi]
Model inference for spreadsheetsJácome Cunha, Martin Erwig, Jorge Mendes, João Saraiva. ASE, 23(3):361-392, 2016. [doi]
A transformational approach to data visualizationKarl Smeltzer, Martin Erwig, Ronald A. Metoyer. GPCE 2014: 53-62 [doi]
Surveyor: a DSEL for representing and analyzing strongly typed surveysWyatt Allen, Martin Erwig. haskell 2012: 81-90 [doi]
Type-based parametric analysis of program familiesSheng Chen 0008, Martin Erwig. ICFP 2014: 39-51 [doi]
Improving Policy Gradient Estimates with Influence InformationJervis Pinto, Alan Fern, Tim Bauer, Martin Erwig. jmlr, 20:1-18, 2011. [doi]
A visual notation for succinct program tracesDivya Bajaj, Martin Erwig, Danila Fedorin. JCL (JVLC), 75:101199, 2023. [doi]
A visual language for explaining probabilistic reasoningMartin Erwig, Eric Walkingshaw. JCL (JVLC), 24(2):88-109, 2013. [doi]
Encoding shortest paths in spatial networksMartin Erwig. networks, 26(4):291-303, 1995. [doi]
GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020Martin Erwig, Jeff Gray, editors, ACM, 2020. [doi]
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016Martin Erwig, Tiark Rompf, editors, ACM, 2016. [doi]
Exploring the Use of Games and a Domain-Specific Teaching Language in CS0Jennifer Parham-Mocello, Aiden Nelson, Martin Erwig. iticse 2022: 351-357 [doi]
Graphs in spatial databasesMartin Erwig. PhD thesis, University of Hagen, Germany, 1994. [doi]
Early detection of type errors in C++ templatesSheng Chen 0008, Martin Erwig. PEPM 2014: 133-144 [doi]
Systematic evolution of model-based spreadsheet applicationsMarkus Luckey, Martin Erwig, Gregor Engels. JCL (JVLC), 23(5):267-286, 2012. [doi]
Principal type inference for GADTsSheng Chen 0008, Martin Erwig. POPL 2016: 416-428 [doi]
A notation for non-linear program editsMartin Erwig, Karl Smeltzer, Keying Xu. vl 2014: 205-206 [doi]
To Code or Not to Code? Programming in Introductory CS CoursesJennifer Parham-Mocello, Martin Erwig, Emily Dominguez. vl 2018: 187-191 [doi]
Does Story Programming Prepare for Coding?Jennifer Parham-Mocello, Martin Erwig. sigcse 2020: 100-106 [doi]
Adaptable Traces for Program ExplanationsDivya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay. aplas 2021: 202-221 [doi]
A calculus for modeling and implementing variationEric Walkingshaw, Martin Erwig. GPCE 2012: 132-140 [doi]
An error-tolerant type system for variational lambda calculusSheng Chen 0008, Martin Erwig, Eric Walkingshaw. ICFP 2012: 29-40 [doi]
A Visual Notation for Succinct Program TracesDivya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay. vl 2021: 1-9 [doi]
Finding common ground: choose, assert, and assumeAlex Groce, Martin Erwig. ISSTA 2012: 12-17 [doi]
Systematic identification and communication of type errorsSheng Chen 0008, Martin Erwig. JFP, 28, 2018. [doi]
Migrating gradual typesJohn Peter Campora III, Sheng Chen 0008, Martin Erwig, Eric Walkingshaw. PACMPL, 2(POPL), 2018. [doi]
Explainable dynamic programmingMartin Erwig, Prashant Kumar. JFP, 31, 2021. [doi]
Explanations for Dynamic ProgrammingMartin Erwig, Prashant Kumar, Alan Fern. PADL 2020: 179-195 [doi]
Adding configuration to the choice calculusMartin Erwig, Klaus Ostermann, Tillmann Rendel, Eric Walkingshaw. vamos 2013: 13 [doi]
Analogies and Active Engagement: Introducing Computer ScienceJennifer Parham-Mocello, Martin Erwig, Margaret Niess. sigcse 2024: 1007-1013 [doi]
An abstract representation of variational graphsMartin Erwig, Eric Walkingshaw, Sheng Chen 0008. GPCE 2013: 25-32 [doi]
Semantics First! - Rethinking the Language Design ProcessMartin Erwig, Eric Walkingshaw. SLE 2011: 243-262 [doi]
Optimizing the Product Derivation ProcessSheng Chen 0008, Martin Erwig. SPLC 2011: 35-44 [doi]
Let's hear both sides: On combining type-error reporting toolsSheng Chen 0008, Martin Erwig, Karl Smeltzer. vl 2014: 145-152 [doi]
Explaining spreadsheets with spreadsheets (short paper)Jácome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc. GPCE 2018: 161-167 [doi]
Putting Computing on the Table: Using Physical Games to Teach Computer ScienceJennifer Parham-Mocello, Martin Erwig, Margaret Niess, Jason Weber, Madelyn Smith, Garrett Berliner. sigcse 2023: 444-450 [doi]

runs on WebDSL