Nomination Deadline:
Deadline: 1 October 2023 - 11:59PM EDTThe award nomination requires a minimum of 3 endorsements by the award deadline.
Review Nomination Questions (pdf) | Download Call for Nominations (pdf)
This technical award was first given in 1999. The award consists of a $3,000 honorarium, museum-quality memento, and a possible invited talk during the week of the annual International Conference on Software Engineering (ICSE), co-sponsored by IEEE Computer Society Technical Community on Software Engineering (TCSE).
Achievements that have previously been recognized by an award may not be re-nominated. All other nominations may be resubmitted in any subsequent year. Any submission that has previously been declined must address the deficiencies outlined by the Chair of the Award Committee.
2023 Harlan D. Mills Award Subcommittee Chair
Paolo Tonella, Università della Svizzera Italiana (USI)
For the development of visual formalisms and for the invention of Statecharts, which had a profound impact on software engineering.
For contributions and leadership in research, teaching, and technology transfer in the area of empirical software engineering.
For outstanding contributions to empirical software engineering and data-driven software development.
For fundamental contributions throughout software engineering, including seminal contributions in establishing search-based software engineering, reigniting research in slicing and testing, and founding genetic improvement.
For outstanding research on understanding software-development practices and tools that improve the productivity of developers.
For groundbreaking use of formal methods in the development of telecommunication software and for enduring contributions to software engineering theory.
For research and research leadership contributions leading to major theoretical and practical advances in software verification.
For fundamental contributions to improving software quality, in particular through model checking tools and coding standards, and for successfully transferring these contributions to practitioners developing mission-critical software.
For the invention of "abstract interpretation", development of tool support, and its practical application.
For the invention of "abstract interpretation", development of tool support, and its practical application.
For practical and fundamental contributions to Model-based Software Testing and Verification.
For practical and fundamental contributions to Software & Hardware Reliability with seminal contributions to computer security, fault tolerance, and formal methods.
For practical and fundamental contributions to object-oriented software engineering, software reuse, and the integration of formal methods into the above.
For leading research on the application of rigorous probabilistic and statistical techniques to problems of assessment in software engineering, particularly in systems dependability.
For encouraging software researchers to focus on practical results as well as theory, and for critically analyzing their assumptions and evaluating their research claims.
For leading research on rigorous software testing including industrial evaluations of the comparative effectiveness and costs of such testing methods.
For significant contributions to programming languages, program reading and writing, and empirical methods.
For significant contributions to function-based software development and statistical software testing.
For pioneering contributions to the empirical study of software processes and program evolution.
For development of empirical software engineering models of cost, schedule, and quality.
For fundamental contributions to large-scale systems development by establishing software engineering as an engineering discipline.