Martin Erwig

Professor
Computer Science
Education: 
  • Habilitation in Computer Science, University of Hagen, May 1999
  • Dr. rer. nat. (Ph.D.) in Computer Science, University of Hagen, February 1994
  • Diploma (M.S.) in Computer Science, University of Dortmund, October 1989
Biography: 

Martin Erwig is Professor of Computer Science in the School of Electrical Engineering and Computer Science at Oregon State University. He obtained his Diploma degree in Computer Science (M.S.) in 1989 from the University of Dortmund, Germany, and his Ph.D. degree in Computer Science in 1994 from the University of Hagen, Germany. He also obtained the Habilitation in Computer Science in 1999 from the University of Hagen, Germany.

From 1994 to 2000 Erwig was a research assistant at the University of Hagen, and from 2000 to 2010 he was an Associate Professor at OSU. His research interests are in language design and domain-specific languages, functional programming, and visual languages. Erwig is the author or co-author of two books and over 100 peer-reviewed publications, for which he received several best paper awards.

Research Interests: 

Research Areas
Language design, domain-specific languages, functional programming, visual languages

Research Description
My research centers around the design of languages, in particular, domain-specific languages. In the past we have been developing languages in a variety of different areas, such as reasoning about causation, evolution of spreadsheets, explaining probabilistic reasoning, oceanographic modeling, genome evolution, experimental game theory, and spatio-temporal databases. Two of our current projects are the development of the choice calculus, a formal, generic representation of variation and a new paradigm of explanation-oriented programming.

2013
Erwig, M., E. Walkingshaw, and S. Chen, "An abstract representation of variational graphs", Proceedings of the 5th International Workshop on Feature-Oriented Software Development - FOSD '13, Indianapolis, Indiana, ACM Press, pp. 25 - 32, 10/2013. Abstract
Erwig, M., and E. Walkingshaw, "A visual language for explaining probabilistic reasoning", Journal of Visual Languages & Computing, vol. 24, issue 2, pp. 88 - 109, 04/2013. Abstract
Erwig, M., K. Ostermann, T. Rendel, and E. Walkingshaw, "Adding configuration to the choice calculus", Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13, Pisa, Italy, ACM Press, pp. 1, 01/2013. Abstract
2012
Erwig, M., and E. Walkingshaw, "Formal and Practical Aspects of Domain-Specific LanguagesSemantics-Driven DSL Design", Formal and Practical Aspects of Domain-Specific Languages: Recent Developments: IGI Global, pp. 56 - 80, 2012. Abstract
Groce, A., A. Fern, M. Erwig, J. Pinto, T. Bauer, and A. Alipour, "Learning-Based Test Programming for Programmers", Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, vol. 7609: Springer Berlin Heidelberg, pp. 572-586, 2012. Abstract
Erwig, M., and E. Walkingshaw, "Variation Programming with the Choice Calculus", Generative and Transformational Techniques in Software Engineering IV, vol. 7680: Springer Berlin Heidelberg, pp. 55-100, 2012. Abstract
Groce, A., A. Fern, J. Pinto, T. Bauer, A. Alipour, M. Erwig, and C. Lopez, "Lightweight Automated Testing with Adaptation-Based Programming", IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE), Dallas, TX, IEEE, pp. 161 - 170, 11/2012. Abstract
Luckey, M., M. Erwig, and G. Engels, "Systematic evolution of model-based spreadsheet applications", Journal of Visual Languages & Computing, vol. 23, issue 5, pp. 267 - 286, 10/2012. Abstract
Walkingshaw, E., and M. Erwig, "A calculus for modeling and implementing variation", Proceedings of the 11th International Conference on Generative Programming and Component Engineering - GPCE '12, Dresden, Germany, ACM Press, pp. 132-140 , 09/2012. Abstract
Chen, S., M. Erwig, and E. Walkingshaw, "An error-tolerant type system for variational lambda calculus", Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, vol. 47, issue 9, Copenhagen, Denmark, pp. 29-40, 09/2012. Abstract
Bauer, T., M. Erwig, A. Fern, and J. Pinto, "Faster program adaptation through reward attribution inference", Proceedings of the 11th International Conference on Generative Programming and Component Engineering - GPCE '12, Dresden, Germany, ACM Press, pp. 103-111 , 09/2012. Abstract
Allen, W., and M. Erwig, "Surveyor: a DSEL for representing and analyzing strongly typed surveys", Proceedings of the 2012 symposium on Haskell symposium - Haskell '12, Copenhagen, Denmark, ACM Press, pp. 81-90 , 09/2012. Abstract
Groce, A., and M. Erwig, "Finding common ground: choose, assert, and assume", Proceedings of the 2012 Workshop on Dynamic Analysis - WODA 2012, Minneapolis, MN, ACM Press, pp. 12-17, 07/2012. Abstract
, , , 07/2011, 2012.
Erwig, M., and R. Gopinath, "Explanations for regular expressions", Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering, Berlin, Heidelberg, Springer-Verlag, pp. 394–408, 04/2012. Abstract
2011
, , , 9/2011.
, , , 9/2011.
Erwig, M., and E. Walkingshaw, "The Choice Calculus", ACM Transactions on Software Engineering and Methodology, vol. 21, issue 1, pp. 1 - 27, 12/2011. Abstract
, , , 11/2011.
Pinto, J., A. Fern, T. Bauer, and M. Erwig, "Improving Policy Gradient Estimates with Influence Information", Journal of Machine Learning Research - Proceedings Track, Volume 20, vol. 20, Taoyuan, Taiwan, pp. 1-18, 11/2011.
, , , 09/2011.
Le, D., E. Walkingshaw, and M. Erwig, "#ifdef confirmed harmful: Promoting understandable software variation", IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Pittsburgh, PA, IEEE, pp. 143 - 150, 09/2011. Abstract
Bauer, T., M. Erwig, A. Fern, and J. Pinto, "Adaptation-Based Programming in Haskell", Electronic Proceedings in Theoretical Computer Science, vol. 66, pp. 1 - 23, 09/2011. Abstract
Walkingshaw, E., and M. Erwig, "A DSEL for Studying and Explaining Causation", Electronic Proceedings in Theoretical Computer Science, vol. 66, pp. 143 - 167, 09/2011. Abstract