Publications

Let's Hear Both Sides: On Combining Type-Error Reporting Tools, Sheng Chen, Martin Erwig, and Karl Smeltzer
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 2014, to appear

Guided Type Debugging, Sheng Chen and Martin Erwig
Int. Symp. on Functional and Logic Programming, LNCS 8475, 35-51, 2014

Counter-Factual Typing for Debugging Type Errors, Sheng Chen and Martin Erwig
ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, 583-594, 2014

Early Detection of Type Errors in C++ Templates, Sheng Chen and Martin Erwig
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 133-144, 2014

Extending Type Inference to Variational Programs, Sheng Chen, Martin Erwig, and Eric Walkingshaw
ACM Transactions on Programming Languages and Systems, Vol. 36, No. 1, 1:1--1:54, 2014

An Abstract Representation of Variational Graphs, Martin Erwig, Eric Walkingshaw, and Sheng Chen
ACM Int. Workshop on Feature-Oriented Software Development, 25-32, 2013

A Visual Language for Explaining Probabilistic Reasoning, Martin Erwig and Eric Walkingshaw
Journal of Visual Languages and Computing, Vol. 24, No. 2, 88-109, 2013

Adding Configuration to the Choice Calculus, Martin Erwig, Klaus Ostermann, Tillmann Rendel, and Eric Walkingshaw
ACM Int. Workshop on Variability Modelling of Software-Intensive Systems, 13:1-13:8, 2013

Variation Programming with the Choice Calculus, Martin Erwig and Eric Walkingshaw
Generative and Transformational Techniques in Software Engineering, LNCS 7680, 55-100, 2013

An Error-Tolerant Type System for Variational Lambda Calculus, Sheng Chen, Martin Erwig, and Eric Walkingshaw
ACM SIGPLAN Int. Conf. on Functional Programming, 29-40, 2012

Surveyor: A DSEL for Representing and Analyzing Strongly Typed Surveys, Wyatt Allen and Martin Erwig
ACM SIGPLAN Haskell Symposium, 81-90, 2012

A Calculus for Modeling and Implementing Variation, Eric Walkingshaw and Martin Erwig
ACM SIGPLAN Conf. on Generative Programming and Component Engineering, 132-140, 2012

Faster Program Adaptation Through Reward Attribution Inference, Tim Bauer, Martin Erwig, Alan Fern, and Jervis Pinto
ACM SIGPLAN Conf. on Generative Programming and Component Engineering, 103-111, 2012

Semantics-Driven DSL Design, Martin Erwig and Eric Walkingshaw
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, (ed. M. Mernik), 56-80, 2012

Lightweight Automated Testing with Adaptation-Based Programming, Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Amin Alipour, Martin Erwig, and Camden Lopez
IEEE Int. Symp. on Software Reliability Engineering, 2012

Learning-Based Test Programming for Programmers, Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, and Amin Alipour
Int. Symp. on Leveraging Applications of Formal Methods, Verification, and Validation, LNCS 7609, 582-586, 2012

Systematic Evolution of Model-Based Spreadsheet Applications, Markus Luckey, Martin Erwig, and Gregor Engels
Journal of Visual Languages and Computing, Vol. 23, No. 5, 267-286, 2012

Finding Common Ground: Choose, Assert, and Assume, Alex Groce and Martin Erwig
Int. Workshop on Dynamic Analysis, 12-17, 2012

Explanations for Regular Expressions, Martin Erwig and Rahul Gopinath
Int. Conf. on Fundamental Approaches to Software Engineering, LNCS 7212, 394-408, 2012

The Choice Calculus: A Representation for Software Variation, Martin Erwig and Eric Walkingshaw
ACM Transactions on Software Engineering and Methodology, Vol. 21, No. 1, 6:1-6:27, 2011

Semantics First! Rethinking the Language Design Process, Martin Erwig and Eric Walkingshaw
Int. Conf. on Software Language Engineering, LNCS 6940, 243-262, 2011

A DSEL for Studying and Explaining Causation, Eric Walkingshaw and Martin Erwig
IFIP Working Conference on Domain Specific Languages, 143-167, 2011

Adaptation-Based Programming in Haskell, Tim Bauer, Martin Erwig, Alan Fern, and Jervis Pinto
IFIP Working Conference on Domain Specific Languages, 1-23, 2011

Improving Policy Gradient Estimates with Influence Information, Jervis Pinto, Alan Fern, Tim Bauer, and Martin Erwig
Asian Conference on Machine Learning, 1-16, 2011

#ifdef Confirmed Harmful: Promoting Understandable Software Variation, Duc Le, Eric Walkingshaw, and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 143-150, 2011

Optimizing the Product Derivation Process, Sheng Chen and Martin Erwig
IEEE Int. Software Product Line Conference, 35-44, 2011

Adaptation-Based Programming in Java, Tim Bauer, Martin Erwig, Alan Fern, and Jervis Pinto
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 81-90, 2011

The State of the Art in End-User Software Engineering, A. J. Ko, R. Abraham, L. Beckwith, A. Blackwell, M. M. Burnett, M. Erwig, J. Lawrence, C. Scaffidi, H. Lieberman, B. Myers, M. B. Rosson, G. Rothermel, M. Shaw, and S. Wiedenbeck
ACM Computing Surveys, Vol. 43, No. 3, 2011

Program Fields for Continuous Software, Martin Erwig and Eric Walkingshaw
ACM SIGSOFT Workshop on the Future of Software Engineering Research, 105-108, 2010

Robust Learning for Adaptive Programs by Leveraging Program Structure, Jervis Pinto, Alan Fern, Tim Bauer, and Martin Erwig
IEEE Int. Conf. on Machine Learning and Applications, 943-948, 2010

A Language for Software Variation Research, Martin Erwig
ACM SIGPLAN Conf. on Generative Programming and Component Engineering, 3-12, 2010

Reasoning about Spreadsheets with Labels and Dimensions, Chris Chambers and Martin Erwig
Journal of Visual Languages and Computing, Vol. 21, No. 5, 249-262, 2010

Causal Reasoning with Neuron Diagrams, Martin Erwig and Eric Walkingshaw
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 101-108, 2010

SheetDiff: A Tool for Identifying Changes in Spreadsheets, Chris Chambers, Martin Erwig, and Markus Luckey
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 85-92, 2010

Automatically Inferring ClassSheet Models from Spreadsheets, Jacome Cunha, Martin Erwig, and Joao Saraiva
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 93-100, 2010

Declarative Scripting in Haskell, Tim Bauer and Martin Erwig
Int. Conf. on Software Language Engineering, LNCS 5969, 294-313, 2009

A Domain-Specific Language for Experimental Game Theory, Eric Walkingshaw and Martin Erwig
Journal of Functional Programming, Vol. 19, No. 06, 645-661, 2009

Software Engineering for Spreadsheets, Martin Erwig
IEEE Software, Vol. 29, No. 5, 25-30 2009

Automatic Detection of Dimension Errors in Spreadsheets, Chris Chambers and Martin Erwig
Journal of Visual Languages and Computing, Vol. 20, No. 4, 269-283, 2009

Combining Spatial and Semantic Label Analysis, Chris Chambers and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 225-232, 2009

Visual Explanations of Probabilistic Reasoning, Martin Erwig and Eric Walkingshaw
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 23-27, 2009

Varying Domain Representations in Hagl - Extending the Expressiveness of a DSL for Experimental Game Theory, Eric Walkingshaw and Martin Erwig
IFIP Working Conference on Domain Specific Languages, LNCS 5658, 310-334, 2009

A DSL for Explaining Probabilistic Reasoning, Martin Erwig and Eric Walkingshaw
IFIP Working Conference on Domain Specific Languages, LNCS 5658, 335-359, 2009
Best Paper Award

A Formal Representation of Software-Hardware System Design, Eric Walkingshaw, Paul Strauss, Martin Erwig, Jonathan Mueller, and Irem Tumer
ASME Int. Design Engineering Technical Conference & Computers and Information in Engineering Conference, 2009

Mutation Operators for Spreadsheets, Robin Abraham and Martin Erwig
IEEE Transactions on Software Engineering, Vol. 35, No. 1, 94-108, 2009

Spreadsheet Programming, Robin Abraham, Margaret M. Burnett, and Martin Erwig
Encyclopedia of Computer Science and Engineering, (ed. B.J. Wah), 2804-2810, 2009

Test-Driven Goal-Directed Debugging in Spreadsheets, Robin Abraham and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 131-138, 2008

Dimension Inference in Spreadsheets, Chris Chambers and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 123-130, 2008
Best Paper Award

A Visual Language for Representing and Explaining Strategies in Game Theory, Martin Erwig and Eric Walkingshaw
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 101-108, 2008

The Inverse Ocean Modeling System. Part I: Implementation, Andrew F. Bennett, Boon S. Chua, Martin Erwig, Zhe Fu, Rich D. Loft, Julia C. Muccino, and Ben Pflaum
Journal of Atmospheric and Oceanic Technology, Vol. 25, Issue 9, 1608-1622, 2008

A Type System Based on End-User Vocabulary, Robin Abraham, Martin Erwig, and Scott Andrew
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 215-222, 2007

ClassSheets - Model-Based, Object-Oriented Design of Spreadsheet Applications, Jan-Christopher Bals, Fabian Christ, Gregor Engels, and Martin Erwig
Journal of Object Technologies, Vol. 6, No. 9, 2007

Exploiting Domain-Specific Structures For End-User Programming Support Tools, Robin Abraham and Martin Erwig
End-User Software Engineering, (eds. Burnett, Engels, Myers, and Rothermel), 2007

An Update Calculus for Expressing Type-Safe Program Updates, Martin Erwig and Deling Ren
Science of Computer Programming, Vol. 67, No. 2-3, 199-222, 2007

Parametric Fortran: Program Generation in Scientific Computing, Martin Erwig, Zhe Fu, and Ben Pflaum
Journal of Software Maintenance and Evolution, Vol. 19, No. 3, 155-182, 2007

GoalDebug: A Spreadsheet Debugger for End Users, Robin Abraham and Martin Erwig
29th IEEE/ACM Int. Conf. on Software Engineering, 251-260, 2007

UCheck: A Spreadsheet Unit Checker for End Users, Robin Abraham and Martin Erwig
Journal of Visual Languages and Computing, Vol. 18, No. 1, 71-95, 2007

A Generic Recursion Toolbox for Haskell (Or: Scrap Your Boilerplate Systematically), Deling Ren and Martin Erwig
ACM SIGPLAN Haskell Workshop, 13-24, 2006

AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets, Robin Abraham and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 43-50, 2006

Sharing Reasoning about Faults in Spreadsheets: An Empirical Study, Joey Lawrence, Robin Abraham, Margaret Burnett, and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 35-42, 2006

Type Inference for Spreadsheets, Robin Abraham and Martin Erwig
ACM Int. Symp. on Principles and Practice of Declarative Programming, 73-84, 2006

Inferring Templates from Spreadsheets, Robin Abraham and Martin Erwig
28th IEEE/ACM Int. Conf. on Software Engineering, 182-191, 2006

Toward Sharing Reasoning to Improve Fault Localization in Spreadsheets, Joey Lawrence, Robin Abraham, Margaret Burnett, and Martin Erwig
2nd Workshop on End-User Software Engineering, 2006

Gencel: A Program Generator for Correct Spreadsheets, Martin Erwig, Robin Abraham, Irene Cooperstein, and Steve Kollmansberger
Journal of Functional Programming, Vol. 16, No. 3, 293-325, 2006

Visual Type Inference, Martin Erwig
Journal of Visual Languages and Computing, Vol. 17, No. 2, 161-186, 2006

Modeling Genome Evolution with a DSEL for Probabilistic Programming, Martin Erwig and Steve Kollmansberger
8th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 3819, 134-149, 2006

Generic Programming in Fortran, Martin Erwig, Zhe Fu and Ben Pflaum
ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation, 130-139, 2006

Probabilistic Functional Programming in Haskell, Martin Erwig and Steve Kollmansberger
Journal of Functional Programming, Vol. 16, No. 1, 21-34, 2006

ClassSheets: Automatic Generation of Spreadsheet Applications from Object-Oriented Specifications, Gregor Engels and Martin Erwig
20th IEEE/ACM Int. Conf. on Automated Software Engineering, 124-133, 2005

Goal-Directed Debugging of Spreadsheets, Robin Abraham and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 37-44, 2005

Visual Specifications of Correct Spreadsheets, Robin Abraham, Martin Erwig, Steve Kollmansberger, and Ethan Seifert
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 189-196, 2005

How to Communicate Unit Error Messages in Spreadsheets, Robin Abraham and Martin Erwig
1st Workshop on End-User Software Engineering, 52-56, 2005

Automatic Generation and Maintenance of Correct Spreadsheets, Martin Erwig, Robin Abraham, Irene Cooperstein, and Steve Kollmansberger
27th IEEE/ACM Int. Conf. on Software Engineering, 136-145, 2005

Software Reuse for Scientific Computing Through Program Generation, Martin Erwig and Zhe Fu
ACM Transactions on Software Engineering and Methodology, Vol. 14, No. 2, 168-198, 2005

Header and Unit Inference for Spreadsheets Through Spatial Analyses, Robin Abraham and Martin Erwig
IEEE Int. Symp. on Visual Languages and Human-Centric Computing, 165-172, 2004
Best Paper Award

Monadification of Functional Programs, Martin Erwig and Deling Ren
Science of Computer Programming, Vol. 52, No. 1-3, 101-129, 2004

Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions , Martin Erwig and Zhe Fu
6th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 3057, 209-223, 2004

Escape from Zurg: An Exercise in Logic Programming, Martin Erwig
Journal of Functional Programming, Vol. 14, No. 3, 253-261, 2004
Russian Translation

Toward Spatiotemporal Patterns, Martin Erwig
Spatio-Temporal Databases (eds. De Caluwe, et al.), Springer, 29-54, 2004

Toward the Automatic Derivation of XML Transformations, Martin Erwig
1st Int. Workshop on XML Schema and Data Management, LNCS 2814, 342-354, 2003

KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries, Martin Erwig and Jianglin He
14th Int. Conf. on Database and Expert Systems Application, LNCS 2736, 494-503, 2003

Type-Safe Update Programming, Martin Erwig and Deling Ren
12th European Symp. on Programming, LNCS 2618, 269-283, 2003

Xing: A Visual XML Query Language, Martin Erwig
Journal of Visual Languages and Computing, Vol. 14, No. 1, 5-45, 2003

Spatio-Temporal Models and Languages: An Approach Based on Data Types, Ralf H. Güting, Mike H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Enrico Nardelli, and Markus Schneider
Chapter 4 of Spatio-Temporal Databases: The CHOROCHRONOS Approach (eds. T. Sellis et al.), Springer Verlag, LNCS 2520, 97-146, 2003

A Visual Language for the Evolution of Spatial Relationships and its Translation into a Spatio-Temporal Calculus, Martin Erwig and Markus Schneider
Journal of Visual Languages and Computing, Vol. 14, No. 2, 181-211, 2003

A Rule-Based Language for Programming Software Updates, Martin Erwig and Deling Ren
3rd ACM SIGPLAN Workshop on Rule-Based Programming, 67-77, 2002

Design of Spatio-Temporal Query Languages, Martin Erwig
NSF/BDEI Workshop on Spatio-Temporal Data Models of Biogeophysical Fields for Ecological Forecasting, 2002

STQL: A Spatio-Temporal Query Language, Martin Erwig and Markus Schneider
Chapter 6 of Mining Spatio-Temporal Information Systems (eds. R. Ladner, K. Shaw, and M. Abdelguerfi), Kluwer Academic Publishers, 105-126, 2002

Visually Customizing Inference Rules About Apples and Oranges, Margaret M. Burnett and Martin Erwig
2nd IEEE Int. Symp. on Human Centric Computing Languages and Environments, 140-148, 2002

Adding Apples and Oranges, Martin Erwig and Margaret M. Burnett
4th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 2257, 173-191, 2002

Spatio-Temporal Predicates, Martin Erwig and Markus Schneider
IEEE Transactions on Knowledge and Data Engineering, Vol. 14, No. 4, 881-901, 2002

Programs are Abstract Data Types, Martin Erwig
16th IEEE Int. Conf. on Automated Software Engineering, 400-403, 2001

Inductive Graphs and Functional Graph Algorithms, Martin Erwig
Journal of Functional Programming Vol. 11, No. 5, 467-492, 2001

Pattern Guards and Transformational Patterns, Martin Erwig and Simon Peyton Jones
Electronic Notes in Theoretical Computer Science, Vol. 41, No. 1, 12.1-12.27, 2001

XML Queries and Transformations for End Users, Martin Erwig
XML 2000, 259-269, 2000

A Visual Language for XML, Martin Erwig
16th IEEE Symp. on Visual Languages, 47-54, 2000

Random Access to Abstract Data Types, Martin Erwig
8th Int. Conf. on Algebraic Methodology and Software Technology, LNCS 1816, 135-149, 2000

Formalization of Advanced Map Operations, Martin Erwig and Markus Schneider
9th Int. Symp. on Spatial Data Handling, 8a.3-17, 2000

Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases, Martin Erwig and Markus Schneider
5th IFIP Conf. on Visual Databases, 199-218, 2000

A Foundation for Representing and Querying Moving Objects, Ralf H. Güting, Mike H. Böhlen, Martin Erwig, Christian S. Jensen, Nikos A. Lorentzos, Markus Schneider, and Michalis Vazirgiannis
ACM Transactions on Database Systems, Vol. 25, No. 1, 1-42, 2000
Most Cited TODS Paper in Ten Years (1993-2004)

The Graph Voronoi Diagram with Applications, Martin Erwig
Networks, Vol. 36, No. 3, 156-163, 2000

Visual Graphs, Martin Erwig
15th IEEE Symp. on Visual Languages, 122-129, 1999

Visual Specifications of Spatio-Temporal Developments, Martin Erwig and Markus Schneider
15th IEEE Symp. on Visual Languages, 187-188, 1999

The Honeycomb Model of Spatio-Temporal Partitions, Martin Erwig and Markus Schneider
Int. Workshop on Spatio-Temporal Database Management, LNCS 1678, 39-59, 1999

Developments in Spatio-Temporal Query Languages, Martin Erwig and Markus Schneider
IEEE Int. Workshop on Spatio-Temporal Data Models and Languages, 441-449, 1999

Foundations of Functional Programming (Book, in german), Martin Erwig
Oldenbourg Verlag, München, 1999

Compiler Construction: Techniques, Tools, and Applications (Book, in german), Ralf H. Güting and Martin Erwig
Springer-Verlag, Berlin Heidelberg, 1999

Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases,
Martin Erwig, Ralf H. Güting, Markus Schneider, and Michalis Vazirgiannis
GeoInformatica, Vol. 3, No. 3, 269-296, 1999

Diets for Fat Sets, Martin Erwig
Journal of Functional Programming, Vol. 8, No. 6, 627-632, 1998

Abstract Syntax and Semantics of Visual Languages, Martin Erwig
Journal of Visual Languages and Computing, Vol. 9, No. 5, 461-483, 1998

Categorical Programming with Abstract Data Types, Martin Erwig
7th Int. Conf. on Algebraic Methodology and Software Technology, LNCS 1548, 406-421, 1998

Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations,
Martin Erwig, Markus Schneider, and Ralf H. Güting
Int. Workshop on Advances in Database Technologies, LNCS 1552, 454-465, 1998

Abstract and Discrete Modeling of Spatio-Temporal Data Types, Martin Erwig, Ralf H. Güting, Markus Schneider, and Michalis Vazirgiannis
6th ACM Symp. on Geographic Information Systems, 131-136, 1998

The Categorical Imperative - Or: How to Hide Your State Monads, Martin Erwig
10th Int. Workshop on Implementation of Functional Languages, 1-25, 1998

Visual Semantics - Or: What You See is What You Compute, Martin Erwig
14th IEEE Symp. on Visual Languages, 96-97, 1998

Partition and Conquer, Martin Erwig and Markus Schneider
3rd Int. Conf. on Spatial Information Theory, LNCS 1329, 389-408, 1997

Fully Persistent Graphs - Which One to Choose?, Martin Erwig
9th Int. Workshop on Implementation of Functional Languages, LNCS 1467, 123-140, 1997

Semantics of Visual Languages, Martin Erwig
13th IEEE Symp. on Visual Languages, 304-311, 1997

Abstract Visual Syntax, Martin Erwig
2nd IEEE Int. Workshop on Theory of Visual Languages, 15-25, 1997
Russian Translation

Vague Regions, Martin Erwig and Markus Schneider
5th Int. Symp. on Advances in Spatial Databases, LNCS 1262, 298-320, 1997

Functional Programming with Graphs, Martin Erwig
2nd ACM SIGPLAN Int. Conf. on Functional Programming, 52-65, 1997
(also in: ACM SIGPLAN Notices, Vol. 32, No. 8, Aug 1997, 52-65)

Active Patterns, Martin Erwig
8th Int. Workshop on Implementation of Functional Languages, LNCS 1268, 21-40, 1996

Heterogeneous Visual Languages - Integrating Visual and Textual Programming, Martin Erwig and Bernd Meyer
11th IEEE Symp. on Visual Languages, 318-325, 1995

Encoding Shortest Paths in Spatial Networks, Martin Erwig
Networks, Vol. 26, 291-303, 1995

DEAL - A Language for Depicting Algorithms, Martin Erwig
10th IEEE Symp. on Visual Languages, 184-185, 1994

Explicit Graphs in a Functional Model for Spatial Databases, Martin Erwig and Ralf H. Güting
IEEE Transactions on Knowledge and Data Engineering, Vol. 5, No. 6, 787-804, 1994

Graphs in Spatial Databases, Martin Erwig
Doctoral Thesis, FernUniversität Hagen, 1994

Specifying Type Systems with Multi-Level Order-Sorted Algebra, Martin Erwig
3rd Int. Conf. on Algebraic Methodology and Software Technology, 177-184, 1993

Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming, Martin Erwig
18th Int. Workshop on Graph Theoretic Concepts in Computer Science, LNCS 657, 277-292, 1992

A Functional DBPL Revealing High Level Optimizations, Martin Erwig and Udo W. Lipeck
3rd Int. Workshop on Database Programming Languages, 306-321, 1991


last change: April 20, 2014 Martin Erwig  erwig@eecs.oregonstate.edu