USA - 2008
For his ground-breaking work on automated program checking and bug-finding.
In his papers on automated program checking, Dawson Engler introduces and develops powerful techniques and tools for practical program analysis for finding errors in code. Dr. Engler's work leverages domain- and application-specific checks, model-checking infrastructures applicable to large pieces of code, and execution-generated test cases. These methods have been used to check substantial software systems, uncovering many hidden bugs. Dr. Engler's remarkably well-grounded, insightful, and practical approach to automated program checking has served as an inspiration to several other efforts and tools for finding bugs in complex software systems.