Don Batory

Professor
David Bruton Jr. Centennial Professorship Chair
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

Photograph on a Visit to Vienna Military Museum

Photograph on Visit to Planet Vulcan

Photograph giving a Keynote at Modularity 2015, Fort Collins

Photograph in Miami Beach, December 2015

Halloween 2015 2016

Selected Professional Service

Vision

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)

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):

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:

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 current 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.”

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

Biography

Don Batory holds the David Bruton Centennial Professorship 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.

Information on Current Courses

Contact Information

Office:
GDC 5.826
Email:
batory at cs.utexas.edu
Phone Numbers
512-471-9713 (Office)
512-471-8885 (Fax)
Postal Address:
Department of Computer Science
The University of Texas at Austin
Austin, Texas 78712
 
Research Web Page
Automated Software Design Research Group