Engler is currently an associate professor of computer science and electrical engineering at
Stanford University. In 2002, he co-founded
Coverity with several of his students to commercialize his group's work in
static code analysis for
bug-finding technology.[1][4]
Awards and honors
Engler and his co-authors received the Best Paper award at
USENIX's OSDI conferences in 2000, 2004, and 2008.[5] With his students Cristian Cadar and Daniel Dunbar, he was jointly awarded the 2018
SIGOPS Hall of Fame Award for their paper at the 2008 conference.[6]
Cadar, C.; Dunbar, D.; Engler, D. (December 8, 2008). "Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs". Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008: 209–224.
Engler, D. R.; Kaashoek, M. F.; O'Toole, J. (1995). "Exokernel". Proceedings of the fifteenth ACM symposium on Operating systems principles - SOSP '95. pp. 251–266.
doi:
10.1145/224056.224076.
ISBN0897917154.
S2CID221932539.
Cadar, Cristian; Ganesh, Vijay; Pawlowski, Peter M.; Dill, David L.; Engler, Dawson R. (2006). "EXE: Automatically generating inputs of death". Proceedings of the 13th ACM conference on Computer and communications security. pp. 322–335.
doi:
10.1145/1180405.1180445.
ISBN1595935185.
S2CID209393318.
Engler, Dawson; Ashcraft, Ken (December 2003). "RacerX: effective, static detection of race conditions and deadlocks". ACM SIGOPS Operating Systems Review. 37 (5): 237–252.
doi:
10.1145/1165389.945468.
Engler, Dawson; Chen, David Yu; Hallem, Seth; Chou, Andy; Chelf, Benjamin (December 2001). "Bugs as deviant behavior: a general approach to inferring errors in systems code". ACM SIGOPS Operating Systems Review. 35 (5): 57–72.
doi:
10.1145/502059.502041.
References
^
ab"Dawson Engler". Stanford University. Retrieved August 18, 2020.
^Engler, D. R.; Kaashoek, M. F.; O'Toole, J. (December 3, 1995). "Exokernel: an operating system architecture for application-level resource management". ACM SIGOPS Operating Systems Review. 29 (5): 251–266.
doi:
10.1145/224057.224076.