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. And check out my text books:

Feature Oriented Software
Product Lines
Automated Software Design
Volume 1
Free peek!!

Recent Events and Upcoming Keynotes:

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