Dawson Engler

Dawson R. Engler is an American computer scientist and an Associate Professor of Computer Science and of Electrical Engineering at Stanford University.

Dawson Engler
EducationArizona State University
Massachusetts Institute of Technology
AwardsMark Weiser Award (2006)
Grace Murray Hopper Award (2008)
Scientific career
FieldsComputer science
InstitutionsStanford University
ThesisThe exokernel operating system architecture (1998)
Doctoral advisorFrans Kaashoek

After graduating from Arizona State University, Engler earned his Ph.D. from the Massachusetts Institute of Technology in 1998 while working with Frans Kaashoek in the MIT CSAIL Parallel and Distributed Operating Systems Group. His graduate thesis discussed the exokernel operating system kernel.[1][2][3] He is also a former bodybuilder. He began lifting weights at fourteen years old, and won an amateur bodybuilding competition in the 1980s.[4]

In 2000, 2004, and 2008, Engler was awarded the Best Paper award by the Operating Systems Design and Implementation (OSDI) conference sponsored by USENIX.[5] In 2005, he helped to develop and publish EXE, a bug-finding tool based on concolic testing.[6] In 2006, he was awarded the SIGOPS Mark Weiser Award for his work in operating systems research.[7] In 2008, he was awarded the Grace Murray Hopper Award for his work in introducing and developing tools and techniques that automate program checking to identify errors in software systems.[8]

References
  1. "Dawson Engler". web.stanford.edu. Stanford University. Retrieved 13 May 2019.
  2. Engler, Dawson R (1998). "The Exokernel Operating System Architecture" (PostScript). MIT. Cite journal requires |journal= (help)
  3. Engler, D. R.; Kaashoek, M. F.; O'Toole, J. (3 December 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.
  4. Wang, Jessica (21 April 2003). "Professors show they do more than research". The Stanford Daily (41).
  5. "USENIX Best Papers". usenix.org. USENIX. Retrieved 11 May 2019.
  6. Cristian Cadar; Vijay Ganesh; Peter Pawloski; David L. Dill; Dawson Engler (2006). "EXE: Automatically Generating Inputs of Death" (PDF). Proceedings of the 13th International Conference on Computer and Communications Security (CCS 2006). Alexandria, VA, USA: ACM.
  7. "The Mark Weiser Award". Retrieved 10 May 2019.
  8. "Dawson Engler". acm.org. Association for Computing Machinery.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.