Don Batory

GDC 5.826
(512) 471-9713
dsb [at] cs [dot] utexas [dot] edu

Batory develops tools, languages, and methodologies for software product lines, model-driven engineering, domain-specific languages, and program refactorings, with an emphasis on principles that both unify these areas and that form a practical engineering basis for automated software development. He is a leading proponent of feature-based development of software, where features are increments in software functionality. Features provide a natural modularization for automated software development as customized programs (or systems) can be specified declaratively, allowing novices to "program" like experts simply by choosing the features that they need.

UTCS Research Areas: 
Selected Awards & Honors: 
  • Co-authored 10 award-winning papers in Software Engineering (SE) Conferences.
  • Co-authored 2 award-winning papers in SE workshops.
  • Received 2 best paper awards in Database Management.
  • Two students (Sven Apel and Christian Kaestner) that he co-advised won the 2007 Software Engineering Awards for the best national Dissertation and best national Masters Thesis in Germany.
  • Keynotes at 1st FOSD Workshop 2009, MODELS 2008, ETAPS 2007, POPL 2007, AMAST 2004.
Selected Publications: 
  • Reasoning about Edits to Feature Models, with T. Thuem and C. Kaestner. International Conference on Software Engineering (ICSE), May 2009.
  • The Objects and Arrows of Computational Design, with M. Azanza and J. Saraiva. Keynote at Model Driven Engineering Languages and Systems (MODELS) 2008.
  • Feature Oriented Model Driven Development: A Case Study for Portlets, with S. Trujillo and O. Diaz. International Conference on Software Engineering (ICSE), 2007.
  • Feature Models, Grammars, and Propositional Formulas. Software Product Line Conference (SPLC) 2005.
  • Scaling Step-Wise Refinement, with J.N. Sarvela and A. Raushmayer. IEEE Transactions on Software Engineering (IEEE TSE) June 2004.
Professional Activities: 
  • Associate Editor of ACM Transactions on Database Systems (1986-1991)
  • IEEE Transactions on Software Engineering (1999-2002)
  • Served on the ACM Software Systems Award Committee (1989-1993)
  • ACM Software Systems Award Committee Chairman, 1992