About the Mills Award
About the Harlan D. Mills Award
| Currently accepting nominations |
Next deadline: 15 October 2016
The award nomination requires a minimum of 3 endorsements.
Established in Harlan D. Mill's name to recognize researchers and practitioners who have demonstrated long-standing, sustained, and meaningful contributions to the theory and practice of the information sciences, focusing on contributions to the practice of software engineering through the application of sound theory. 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 Council on Software Engineering (TCSE).
Learn more about Harlan D. Mills.
Mills Past Recipients
Past Recipients for the Mills Award
|2016||Wolfram Schulte||For research and research leadership contributions leading to major theoretical and practical advances in software verification.|
|2015||Gerard Holzmann||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.|
|2014||Patrick Cousot & Radhia Cousot||For the invention of "abstract interpretation", development of tool support, and its practical application.|
|2012||Lionel Claude Briand||For practical and fundamental contributions to Model-based Software Testing and Verification.|
|2011||John Rushby||For practical and fundamental contributions to Software & Hardware Reliability with seminal contributions to computer security, fault tolerance, and formal methods.|
|2009||Bertrand Meyer||For practical and fundamental contributions to object-oriented software engineering, software reuse, and the integration of formal methods into the above.|
|2007||Bev Littlewood||For leading research on the application of rigorous probabilistic and statistical techniques to problems of assessment in software engineering, particularly in systems dependability.|
|2006||John C. Knight||For encouraging software researchers to focus on practical results as well as theory, and for critically analyzing their assumptions and evaluating their research claims.|
|2004||Elaine Weyuker||For leading research on rigorous software testing including industrial evaluations of the comparative effectiveness and costs of such testing methods.|
|2003||Victor R. Basili||For significant contributions to programming languages, program reading and writing, and empirical methods.|
|2002||Jesse H. Poore||For significant contributions to function-based software development and statistical software testing.|
|2001||Meir (Manny) Lehman||For pioneering contributions to the empirical study of software processes and program evolution.|
|2000||Barry Boehm||For development of empirical software engineering models of cost, schedule, and quality.|
|1999||David Parnas||For fundamental contributions to large-scale systems development by establishing software engineering as an engineering discipline.|
Mills Subcommittee Chair
2016 Harlan D. Mills Award Subcommittee Chair
New deadline for 2017 nominations is 15 October 2016.