Don Batory

I retired in August 2020.

Am still research active,
but am no longer taking
on or funding students.

Still I would welcome
hearing from you.

Contact Information

batory at
Postal Address:
Department of Computer Science
The University of Texas at Austin
Austin, Texas 78712
Research Web Page
Automated Software Design Research Group

click on icon below, and then download

Professor Emeritus

1980 Ph.D. in Computer Science, University of Toronto
1976 M.Sc. in Computer Engineering, Case Institute of Technology
1975 B.S. in Computer Engineering, Case Institute of Technology

Link to Google Scholar

Link to Research Web Page

Research Interests

Product-line architectures and automated software development are keys to improved programmer productivity, product quality, reduced maintenance cost, and enhanced application performance. My students and I are investigating ways to realize practical, domain-specific component-based design methodologies and technologies for large scale application synthesis. This spans the topics of: model-driven engineering, feature-based software designs, extensible software (i.e., software that is easy to both extend and contract to match the customized needs of application requirements), adaptive software (i.e., software that reconfigures itself periodically to maximize performance), software architectures (building customized applications from components), object-oriented design patterns, extensible languages, domain modeling, and parameterized programming.

Click here for my publications, software, and research overview.

My research style is that of reduction; key ideas in software design have simple origins, and by giving elementary mathematical interpretations to them, a modern view of software design will emerge.  This viewpoint has been strongly influenced by my background in relational database systems and relational query processing, and a long-term interest in physics and the history of physics.  I have always said w.r.t. software design "We are geniuses at complicating the simplest things -- the challenge is exposing the underlying simplicity". Einstein (as many others) had similar admonishments, but of course, said better: “Out of clutter, find simplicity. From discord, find harmony. In the middle of difficulty lies opportunity.”

Past Events

  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


Don Batory is a Professor Emeritus in the Department of Computer Science at The University of Texas at Austin. He received a B.S. (1975) and M.Sc. (1977) degrees from Case Institute of Technology, and a Ph.D. (1980) from the University of Toronto. He was a faculty member at the University of Florida in 1981 before he joined the University of Texas in 1983. He was Associate Editor of IEEE Transactions on Software Engineering (1999-2002), Associate Editor of ACM Transactions on Database Systems (1986-1992), member of the ACM Software Systems Award Committee (1989-1993; Committee Chairman in 1992), Program Co-Chair for the 2002 Generative Programming and Component Engineering Conference. He is a proponent of Feature Oriented Software Development (FOSD) and with colleagues (and former students) has recently authored a textbook on the topic. Since 1993, he and his students have written 11 Award Papers for their work in automated program development.  He and Lance Tokuda were awarded the Automated Software Engineering 2013 Most Influential Paper Award on their work on program refactorings.

Selected Professional Service


In early 1991, I videotaped a presentation on work I and my students were doing w.r.t. software product lines and extensible databases.  The ideas of software product lines had not even been formed yet (let alone the term), and the idea of software legos that you could assemble different programs by "snapping" together plug-compatible modules was still in its infancy.  All of this gave rise to much of the research I have since pursued in my career.  Now, for the first time since 1991, you can see a vision of what now looks rather common-place.  One more thing: Jim Barnett created the DaTE tool and did a brilliant job -- it is worth watching the video to see what all he did.

1991 Genesis Presentation (37 minutes in length)

Vienna Military MuseumPlanet VulcanKeynote at Modularity 2015, Fort CollinsMiami Beach, December 2015
Halloween 2014 2015Wrigley FieldCats that adopted me in Chicago

Personal Advice

On Covid -- for those of you who do not think Covid 19 is bad -- watch this short video by Dr. Abdu Sharkawy,
who is one of the top infectious disease specialists in Toronto, if not all Canada.

Personal Notes

Over time, I will add to this list a set of links that have impressed me, not because of their technicality, but of their overall insight into the process of scientific discovery or what scientists must face. The order listed is the order in which I discovered them:

And from time to time, I will post news of the ridiculous (also inspirational in a different sort of way):

And finally, I have known for decades that I am a reductionist.  Finding good and short explanations of "reductionism" in science is not easy.  Here are my recommendations:

Personal Inspiration

Many people have inspired me, but none more than my professors.  Below I list professors that have truly shaped my career and to whom I am forever grateful:

And I have a special place in my heart for Leonard Nimoy as Spock and the contributions Star Trek has made to inspire generations of scientists.  And, some of my favorites:

Nights in White Satin,
Moody Blues
Bohemian Rhapsody
The William Tell Overture
the Portsmouth Sinfonia
First Contact,
Jerry Goldsmith
Jerry Goldsmith
Toccata und Fugue in D Minor (BMW 565) JS Bach
Ashoken Farewell
Jay Ungar
God Save Der Hund