Oregon State University
Search Menu
  • All of OSU
  • selectedSchool of Electrical Engineering & Computer Science



Home ›

Martin Erwig

Professor
Computer Science
Web Page: 
http://eecs.oregonstate.edu/~erwig/
Learn more about Martin Erwig
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 group: 
Software Engineering - HCI - Programming Languages
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.

Teaching: 
CS 381 PROGRAMMING LANGUAGE FUND
CS 589 ST/DOMAIN SPECIFIC LANGUAGES

Publications

In Press
Erwig, M., and E. Walkingshaw, "The Choice Calculus: A Representation for Software Variation", ACM Transactions on Software Engineering and Methodology, In Press. Abstract
Erwig, M., and E. Walkingshaw, "Semantics First! Rethinking the Language Design Process", Int. Conf. on Software Language Engineering, In Press.
Erwig, M., and E. Walkingshaw, "Variation Programming with the Choice Calculus", Generative and Transformational Techniques in Software Engineering, In Press.
2011
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, 9/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, 9/2011. Abstract
Pinto, J., A. Fern, T. Bauer, and M. Erwig, "Improving Policy Gradient Estimates with Influence Information", Asian Conference on Machine Learning, pp. 1-16, 11/2011. Abstract
Le, D., E. Walkingshaw, and M. Erwig, "#ifdef confirmed harmful: Promoting understandable software variation", 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Pittsburgh, PA, IEEE, pp. 143 - 150, 09/2011. Abstract
Chen, S., and M. Erwig, "Optimizing the Product Derivation Process", 2011 15th International Software Product Line Conference (SPLC)2011 15th International Software Product Line Conference, Munich, Germany, IEEE, pp. 35 - 44, 08/2011. Abstract
Ko, A. J., R. Abraham, L. Beckwith, A. Blackwell, M. M. Burnett, M. Erwig, C. Scaffidi, J. Lawrance, H. Lieberman, B. Myers, et al., "The State of the Art in End-User Software Engineering", ACM Computing Surveys, vol. 43, issue 3, 04/2011. Abstract
Bauer, T., M. Erwig, A. Fern, and J. Pinto, "Adaptation-based programming in java", Proceedings of the 20th ACM SIGPLAN workshop on Partial Evaluation and Program Manipulation - PERM '11, Austin, Texas, ACM Press, pp. 81-90, 01/2011. Abstract
Erwig, M., "A Language for Software Variation Research", ACM SIGPLAN Notices, vol. 46, issue 2, pp. 3 - 12, 01/2011. Abstract
2010
Chambers, C., and M. Erwig, "Reasoning about Spreadsheets with Labels and Dimensions", Journal of Visual Languages & Computing, vol. 21, issue 5, pp. 249 - 262, 12/2010. Abstract
Pinto, J., A. Fern, T. Bauer, and M. Erwig, "Robust Learning for Adaptive Programs by Leveraging Program Structure", 2010 International Conference on Machine Learning and Applications (ICMLA), Washington, DC, IEEE, pp. 943 - 948, 12/2010. Abstract
Erwig, M., and E. Walkingshaw, "Program Fields for Continuous Software", Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER '10, Santa Fe, New Mexico, ACM Press, pp. 105-108, 11/2010. Abstract
Cunha, J., M. Erwig, and J. Saraiva, "Automatically Inferring ClassSheet Models from Spreadsheets", 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Leganes, Madrid, Spain, IEEE, pp. 93 - 100, 09/2010. Abstract
Erwig, M., and E. Walkingshaw, "Causal Reasoning with Neuron Diagrams", 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Leganes, Madrid, Spain, IEEE, pp. 101 - 108, 09/2010. Abstract
Chambers, C., M. Erwig, and M. Luckey, "SheetDiff: A Tool for Identifying Changes in Spreadsheets", 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Leganes, Madrid, Spain, IEEE, pp. 85 - 92, 09/2010. Abstract
2009
Abraham, R., M. M. Burnett, and M. Erwig, "Spreadsheet Programming", Encyclopedia of Computer Science and Engineering, Hoboken, NJ, John Wiley & Sons, Inc., pp. 2804-2810, 2009. Abstract
Walkingshaw, E., and M. Erwig, "A Domain-Specific Language for Experimental Game Theory", Journal of Functional Programming, vol. 19, issue 06, pp. 645-661, 11/2009. Abstract
Bauer, T., and M. Erwig, "Declarative Scripting in Haskell", LNCS, vol. 5969, Berlin, Heidelberg, Springer Berlin Heidelberg, pp. 294 - 313, 10/2009. Abstract
Chambers, C., and M. Erwig, "Combining spatial and semantic label analysis", 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Corvallis, OR, IEEE, pp. 225 - 232, 09/2009. Abstract
Walkingshaw, E., P. Strauss, M. Erwig, J. Mueller, and I. Y. Tumer, "A Formal Representation of Software-Hardware System Design", ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering ConferenceVolume 2: 29th Computers and Information in Engineering Conference, Parts A and B, San Diego, California, ASME, pp. 1387 - 1398, 09/2009. Abstract
Erwig, M., "Software Engineering for Spreadsheets", IEEE Software, vol. 26, issue 5, pp. 25 - 30, 09/2009. Abstract
Erwig, M., and E. Walkingshaw, "Visual Explanations of Probabilistic Reasoning", 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Corvallis, OR, IEEE, pp. 23 - 27, 09/2009. Abstract
Chambers, C., and M. Erwig, "Automatic Detection of Dimension Errors in Spreadsheets", Journal of Visual Languages & Computing, vol. 20, issue 4, pp. 269 - 283, 08/2009. Abstract

Contact Info

Oregon State University
1148 Kelley Engineering Center
Corvallis, OR 97331-5501
Phone: (541) 737-3617
Fax: (541) 737-1300
Contact us with your comments and questions
Copyright ©  2012 Oregon State University
Disclaimer