Welcome to the Automated Software Design Research Group!

The future of software development is automating rote tasks. We are creating new ways in which software can be automatically developed, productivity increased, and quality improved. Our work covers both the theory and practical issues of:

Software Product Lines   Model Driven Engineering
Program Generation   Refactorings
Domain-Specific Languages   Metaprogramming

Please check out our Papers, Awards, Students, and Downloads. If this is your first visit and you have questions on what is the best place to start, look at Getting Started. Click on Home Page to return to this page.

Check out the new text on Feature Oriented Software Product Lines !  

Recent Events and Upcoming Keynotes:

  1. Conference Chair, Model Driven Engineering Languages and Systems, September 2017
  2. Keynote at  Workshop on Modeling in Software Engineering (MISE), May 2016
  3. Keynote at  Workshop on Formal Methods in Software Engineering (FormaliSE),  May 2016
  4. Program Chair, 15th International Conference on Modularity, March 2016
  5. Tutorial at 2nd Latin-American School on Software Engineering, July 2015
  6. Keynote at 14th International Conference on Modularity, March 2015
  7. Keynote at 7th India Software Engineering Conference (ISEC), February 2014
  8. Distinguished Lecture, Department of Computer Science, Iowa State University, February 2014
  9. ASE2013 Most Influential Paper Award, (for Tokuda & Batory paper, ASE 1999), November 2013
  10. Keynote at Conference on Software Language Engineering (SLE), October 2013
  11. Keynote at Dagstuhl on Analysis, Test and Verification in the Presence of Variability, February 2013
  12. Short Tutorial at Dagstuhl on Program Synthesis, April 2012
  13. Keynote at Conference on Interactive Theorem Proving (ITP) August 2011
  14. Co-Chair, Workshop on Refactoring Tools (WRT), May 2011
  15. Keynote at Dagstuhl on Feature Oriented Software Development January 2011
  16. Tutorial at 3rd RiSE Summer School on Software Reuse (RiSS) November 2010
  17. Workshop Co-Chair, Variability Modeling of Software-Intensive Systems (VAMOS) January 2010
  18. Keynote at First Workshop on Feature Oriented Software Development (FOSD) October 2009
  19. Keynote at Conference on Software Engineering and Databases (JISBD) September 2009
  20. Keynote at Conference on Software Engineering and Data Engineering (SEDE) June 2009
  21. Keynote at Software Product Line Evolution Workshop February 2009
  22. Keynote at Variability Modeling in Software-Intensive Systems January 2009
  23. Keynote at Model Driven Engineering Languages and Systems (MODELS) October 2008
  24. Workshop Co-Chair, First Workshop on Analyses of Software Product Lines September 2008
  25. Keynote at Brazilian Symposium on Software Engineering October 2007
  26. Tutorial at the Lipari School on Advances in Software Engineering July 2007
  27. Keynote at Abstract State Machine (ASM) Workshop June 2007
  28. Keynote at European Joint Conferences on Theory and Practice of Software (ETAPS) April 2007
  29. Keynote at Principles of Programming Languages (POPL) January 2007

Other Announcements:

I gratefully acknowledge the support of the National Science Foundation under NSF Grants OCI-1148125 and CCF-1212683.

For further information, contact Don Batory