Martin Erwig

Orcid: 0000-0002-7471-4554

According to our database1, Martin Erwig authored at least 159 papers between 1991 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Analogies and Active Engagement: Introducing Computer Science.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023
A visual notation for succinct program traces.
J. Comput. Lang., 2023

Putting Computing on the Table: Using Physical Games to Teach Computer Science.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

MatchMaker: A DSL for Game-Theoretic Matching.
Proceedings of the Trends in Functional Programming - 24th International Symposium, 2023

2022
Explaining Results of Multi-Criteria Decision Making.
CoRR, 2022

Intersectionality Goes Analytical: Taming Combinatorial Explosion Through Type Abstraction.
CoRR, 2022

Exploring the Use of Games and a Domain-Specific Teaching Language in CS0.
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

Using a Functional Board Game Language to Teach Middle School Programming.
Proceedings of the IEEE Frontiers in Education Conference, 2022

2021
Explainable dynamic programming.
J. Funct. Program., 2021

Teaching CS Middle School Camps in a Virtual World.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2021

A Visual Notation for Succinct Program Traces.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2021

MADMAX: a DSL for explanatory decision making.
Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

Adaptable Traces for Program Explanations.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020
Does Story Programming Prepare for Coding?
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Explanations for Dynamic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2020

2019
To Code or Not to Code? Programming in Introductory CS Courses.
Proceedings of the 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, 2019

Story Programming: Explaining Computer Science Before Coding.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Usability of Probabilistic Programming Languages.
Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019

2018
Migrating gradual types.
Proc. ACM Program. Lang., 2018

Systematic identification and communication of type errors.
J. Funct. Program., 2018

Typed Table Transformations.
CoRR, 2018

Comparative Visualizations through Parameterization and Variability.
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

A domain-specific language for exploratory data visualization.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Explaining spreadsheets with spreadsheets (short paper).
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Variational Pictures.
Proceedings of the Diagrammatic Representation and Inference, 2018

2017
What is a visual language?
J. Vis. Lang. Comput., 2017

Exploiting diversity in type checkers for better error messages.
J. Vis. Lang. Comput., 2017

Variational lists: comparisons and design guidelines.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, 2017

2016
Model inference for spreadsheets.
Autom. Softw. Eng., 2016

Principal type inference for GADTs.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

A Calculus for Variational Programming.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Domain-Specific Languages (Dagstuhl Seminar 15062).
Dagstuhl Reports, 2015

2014
Extending Type Inference to Variational Programs.
ACM Trans. Program. Lang. Syst., 2014

A notation for non-linear program edits.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Let's hear both sides: On combining type-error reporting tools.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Counter-factual typing for debugging type errors.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Early detection of type errors in C++ templates.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Variational Data Structures: Exploring Tradeoffs in Computing with Variability.
Proceedings of the Onward! 2014, 2014

Type-based parametric analysis of program families.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

A transformational approach to data visualization.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

Guided Type Debugging.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013
A visual language for explaining probabilistic reasoning.
J. Vis. Lang. Comput., 2013

Explicitness in language design.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Adding configuration to the choice calculus.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

An abstract representation of variational graphs.
Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

2012
Systematic evolution of model-based spreadsheet applications.
J. Vis. Lang. Comput., 2012

Finding common ground: choose, assert, and assume.
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), 2012

Lightweight Automated Testing with Adaptation-Based Programming.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Learning-Based Test Programming for Programmers.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

An error-tolerant type system for variational lambda calculus.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Surveyor: a DSEL for representing and analyzing strongly typed surveys.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

A calculus for modeling and implementing variation.
Proceedings of the Generative Programming and Component Engineering, 2012

Faster program adaptation through reward attribution inference.
Proceedings of the Generative Programming and Component Engineering, 2012

Explanations for Regular Expressions.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
The Choice Calculus: A Representation for Software Variation.
ACM Trans. Softw. Eng. Methodol., 2011

Improving Policy Gradient Estimates with Influence Information.
Proceedings of the 3rd Asian Conference on Machine Learning, 2011

The state of the art in end-user software engineering.
ACM Comput. Surv., 2011

A DSEL for Studying and Explaining Causation
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

Adaptation-Based Programming in Haskell
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

#ifdef confirmed harmful: Promoting understandable software variation.
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Optimizing the Product Derivation Process.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Semantics First! - Rethinking the Language Design Process.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

Adaptation-based programming in java.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

Variation Programming with the Choice Calculus.
Proceedings of the Generative and Transformational Techniques in Software Engineering IV, 2011

2010
Reasoning about spreadsheets with labels and dimensions.
J. Vis. Lang. Comput., 2010

Causal Reasoning with Neuron Diagrams.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Automatically Inferring ClassSheet Models from Spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

SheetDiff: A Tool for Identifying Changes in Spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

A Language for Software Variation Research.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Program fields for continuous software.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Robust Learning for Adaptive Programs by Leveraging Program Structure.
Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010

2009
Automatic detection of dimension errors in spreadsheets.
J. Vis. Lang. Comput., 2009

Mutation Operators for Spreadsheets.
IEEE Trans. Software Eng., 2009

Software Engineering for Spreadsheets.
IEEE Softw., 2009

A domain-specific language for experimental game theory.
J. Funct. Program., 2009

Visual explanations of probabilistic reasoning.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Combining spatial and semantic label analysis.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Declarative Scripting in Haskell.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Varying Domain Representations in Hagl.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

A DSL for Explaining Probabilistic Reasoning.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008
Spreadsheet Programming.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A visual language for representing and explaining strategies in game theory.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Dimension inference in spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Test-driven goal-directed debugging in spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

2007
UCheck: A spreadsheet type checker for end users.
J. Vis. Lang. Comput., 2007

Parametric Fortran: program generation in scientific computing.
J. Softw. Maintenance Res. Pract., 2007

An update calculus for expressing type-safe program updates.
Sci. Comput. Program., 2007

ClassSheets - model-based, object-oriented design of spreadsheet applications.
J. Object Technol., 2007

Understanding and Building Spreadsheet Tools.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

A Type System Based on End-User Vocabulary.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

GoalDebug: A Spreadsheet Debugger for End Users.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Exploiting Domain-Specific Structures For End-User Programming Support Tools.
Proceedings of the End-User Software Engineering, 18.02. - 23.02.2007, 2007

2006
Visual type inference.
J. Vis. Lang. Comput., 2006

Functional Pearls: Probabilistic functional programming in Haskell.
J. Funct. Program., 2006

Gencel: a program generator for correct spreadsheets.
J. Funct. Program., 2006

Sharing reasoning about faults in spreadsheets: An empirical study.
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets.
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

Type inference for spreadsheets.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Generic programming in Fortran.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Modeling Genome Evolution with a DSEL for Probabilistic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Inferring templates from spreadsheets.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2005
Software reuse for scientific computing through program generation.
ACM Trans. Softw. Eng. Methodol., 2005

How to communicate unit error messages in spreadsheets.
ACM SIGSOFT Softw. Eng. Notes, 2005

Visual Specifications of Correct Spreadsheets.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Goal-Directed Debugging of Spreadsheets.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Automatic generation and maintenance of correct spreadsheets.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004
Monadification of functional programs.
Sci. Comput. Program., 2004

Escape from Zurg: an exercise in logic programming.
J. Funct. Program., 2004

Header and Unit Inference for Spreadsheets Through Spatial Analyses.
Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003
A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus.
J. Vis. Lang. Comput., 2003

Xing: a visual XML query language.
J. Vis. Lang. Comput., 2003

Programming Type-Safe Program Updates.
Proceedings of the Programming Languages and Systems, 2003

Toward the Automatic Derivation of XML Transformations.
Proceedings of the Conceptual Modeling for Novel Application Domains, 2003

KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries.
Proceedings of the Database and Expert Systems Applications, 14th International Conference, 2003

Spatio-temporal Models and Languages: An Approach Based on Data Types.
Proceedings of the Spatio-Temporal Databases: The CHOROCHRONOS Approach, 2003

2002
Spatio-Temporal Predicates.
IEEE Trans. Knowl. Data Eng., 2002

A rule-based language for programming software updates.
ACM SIGPLAN Notices, 2002

Visually Customizing Inference Rules About Apples and Oranges.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

Adding Apples and Oranges.
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

2001
Inductive graphs and functional graph algorithms.
J. Funct. Program., 2001

Programs Are Abstract Data Types.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
A foundation for representing and querying moving objects.
ACM Trans. Database Syst., 2000

The graph Voronoi diagram with applications.
Networks, 2000

Pattern Guards and Transformational Patterns.
Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

A Visual Language for XML.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases.
Proceedings of the Advances in Visual Information Management, 2000

Random Access to Abstract Data Types.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases.
GeoInformatica, 1999

Visual Specification of Spatio-Temporal Developments.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Visual Graphs.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

The Honeycomb Model of Spatio-Temporal Partitions.
Proceedings of the Spatio-Temporal Database Management, 1999

Developments in Spatio-Temporal Query Languages.
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

Übersetzerbau - Techniken, Werkzeuge, Anwendungen
Springer, ISBN: 3-540-65389-9, 1999

1998
Abstract Syntax and Semantics of Visual Languages.
J. Vis. Lang. Comput., 1998

Diets for Fat Sets.
J. Funct. Program., 1998

Visual Semantics - Or: What You See is What You Compute.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Abstract and Discrete Modeling of Spatio-Temporal Data Types.
Proceedings of the ACM-GIS '98, 1998

Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations.
Proceedings of the Advances in Database Technologies, 1998

Categorical Programming with Abstract Data Types.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Semantics of Visual Languages.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Vague Regions.
Proceedings of the Advances in Spatial Databases, 1997

Fully Persistent Graphs - Which One To Choose?
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Functional Programming with Graphs.
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Partition and Conquer.
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

1996
Active Patterns.
Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

1995
Encoding shortest paths in spatial networks.
Networks, 1995

Heterogeneous Visual Languages-Integrating Visual and Textual Programming.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

1994
Graphs in spatial databases.
PhD thesis, 1994

Explicit Graphs in a Functional Model for Spatial Databases.
IEEE Trans. Knowl. Data Eng., 1994

Graphs in Spatial Databases.
GI Datenbank Rundbrief, 1994

DEAL - A Language for Depicting Algorithms.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

1993
Spezifikation von Datenmodellen mittels mehrstufiger Algebra.
Proceedings of the Tagung des Arbeitskreises der GI Datenbanken: Grundlagen von Informationssystemen, 1993

Specifying Type Systems with Multi-Level Order-Sorted Algebra.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1992

Modellierung von Netzen in Geo-Datenbanken.
Proceedings of the Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken", 1992

1991
A Functional DBPL Revealing High Level Optimizations.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991


  Loading...