| 2024 | SIGCSE | Analogies and Active Engagement: Introducing Computer Science. | Jennifer Parham-Mocello, Martin Erwig, Margaret Niess |
| 2023 | SIGCSE | Putting Computing on the Table: Using Physical Games to Teach Computer Science. | Jennifer Parham-Mocello, Martin Erwig, Margaret Niess, Jason Weber, Madelyn Smith, Garrett Berliner |
| 2022 | FIE | Using a Functional Board Game Language to Teach Middle School Programming. | Jennifer Parham-Mocello, Martin Erwig, Margaret Niess, Aiden Nelson, Jason Weber, Garrett Berliner |
| 2022 | ITiCSE | Exploring the Use of Games and a Domain-Specific Teaching Language in CS0. | Jennifer Parham-Mocello, Aiden Nelson, Martin Erwig |
| 2021 | APLAS | Adaptable Traces for Program Explanations. | Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay |
| 2021 | GPCE | MADMAX: a DSL for explanatory decision making. | Martin Erwig, Prashant Kumar |
| 2020 | PADL | Explanations for Dynamic Programming. | Martin Erwig, Prashant Kumar, Alan Fern |
| 2020 | SIGCSE | Does Story Programming Prepare for Coding? | Jennifer Parham-Mocello, Martin Erwig |
| 2019 | SIGCSE | Story Programming: Explaining Computer Science Before Coding. | Jennifer Parham-Mocello, Shannon Ernst, Martin Erwig, Lily Shellhammer, Emily Dominguez |
| 2018 | DIAGRAMS | Variational Pictures. | Martin Erwig, Karl Smeltzer |
| 2018 | GPCE | Explaining spreadsheets with spreadsheets (short paper). | Jcome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc |
| 2018 | GPCE | A domain-specific language for exploratory data visualization. | Karl Smeltzer, Martin Erwig |
| 2017 | OOPSLA | Variational lists: comparisons and design guidelines. | Karl Smeltzer, Martin Erwig |
| 2016 | ECOOP | A Calculus for Variational Programming. | Sheng Chen, Martin Erwig, Eric Walkingshaw |
| 2016 | POPL | Principal type inference for GADTs. | Sheng Chen, Martin Erwig |
| 2014 | FLOPS | Guided Type Debugging. | Sheng Chen, Martin Erwig |
| 2014 | GPCE | A transformational approach to data visualization. | Karl Smeltzer, Martin Erwig, Ronald A. Metoyer |
| 2014 | ICFP | Type-based parametric analysis of program families. | Sheng Chen, Martin Erwig |
| 2014 | OOPSLA | Variational Data Structures: Exploring Tradeoffs in Computing with Variability. | Eric Walkingshaw, Christian Kstner, Martin Erwig, Sven Apel, Eric Bodden |
| 2014 | PEPM | Early detection of type errors in C++ templates. | Sheng Chen, Martin Erwig |
| 2014 | POPL | Counter-factual typing for debugging type errors. | Sheng Chen, Martin Erwig |
| 2013 | GPCE | An abstract representation of variational graphs. | Martin Erwig, Eric Walkingshaw, Sheng Chen |
| 2012 | FASE | Explanations for Regular Expressions. | Martin Erwig, Rahul Gopinath |
| 2012 | GPCE | Faster program adaptation through reward attribution inference. | Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto |
| 2012 | GPCE | A calculus for modeling and implementing variation. | Eric Walkingshaw, Martin Erwig |
| 2012 | HASKELL | Surveyor: a DSEL for representing and analyzing strongly typed surveys. | Wyatt Allen, Martin Erwig |
| 2012 | ICFP | An error-tolerant type system for variational lambda calculus. | Sheng Chen, Martin Erwig, Eric Walkingshaw |
| 2012 | ISoLA | Learning-Based Test Programming for Programmers. | Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour |
| 2012 | ISSRE | Lightweight Automated Testing with Adaptation-Based Programming. | Alex Groce, Alan Fern, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour, Martin Erwig, Camden Lopez |
| 2012 | ISSTA | Finding common ground: choose, assert, and assume. | Alex Groce, Martin Erwig |
| 2011 | PEPM | Adaptation-based programming in java. | Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto |
| 2011 | SLE | Semantics First! - Rethinking the Language Design Process. | Martin Erwig, Eric Walkingshaw |
| 2011 | SPLC | Optimizing the Product Derivation Process. | Sheng Chen, Martin Erwig |
| 2010 | GPCE | A language for software variation research. | Martin Erwig |
| 2010 | ICMLA | Robust Learning for Adaptive Programs by Leveraging Program Structure. | Jervis Pinto, Alan Fern, Tim Bauer, Martin Erwig |
| 2010 | SLE | A Language for Software Variation Research. | Martin Erwig |
| 2009 | SLE | Declarative Scripting in Haskell. | Tim Bauer, Martin Erwig |
| 2007 | ICSE | GoalDebug: A Spreadsheet Debugger for End Users. | Robin Abraham, Martin Erwig |
| 2006 | HASKELL | A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. | Deling Ren, Martin Erwig |
| 2006 | ICSE | Inferring templates from spreadsheets. | Robin Abraham, Martin Erwig |
| 2006 | PADL | Modeling Genome Evolution with a DSEL for Probabilistic Programming. | Martin Erwig, Steve Kollmansberger |
| 2006 | PEPM | Generic programming in Fortran. | Martin Erwig, Zhe Fu, Ben Pflaum |
| 2006 | PPDP | Type inference for spreadsheets. | Robin Abraham, Martin Erwig |
| 2005 | ICSE | How to communicate unit error messages in spreadsheets. | Robin Abraham, Martin Erwig |
| 2005 | ICSE | Automatic generation and maintenance of correct spreadsheets. | Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger |
| 2004 | PADL | Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. | Martin Erwig, Zhe Fu |
| 2003 | DEXA | KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries. | Martin Erwig, Jianglin He |
| 2003 | ER | Toward the Automatic Derivation of XML Transformations. | Martin Erwig |
| 2003 | ESOP | Programming Type-Safe Program Updates. | Martin Erwig, Deling Ren |
| 2002 | PADL | Adding Apples and Oranges. | Martin Erwig, Margaret M. Burnett |
| 1998 | ER | Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations. | Martin Erwig, Markus Schneider, Ralf Hartmut Gting |
| 1997 | ICFP | Functional Programming with Graphs. | Martin Erwig |
| 1992 | WG | Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming. | Martin Erwig |