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:




Books

Click Image for
More Information!

Recent Events and Upcoming Keynotes:

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