Dawson Engler
Dawson Engler | |
|---|---|
| Education | Arizona State University Massachusetts Institute of Technology |
| Awards | Mark Weiser Award (2006) Grace Murray Hopper Award (2008) |
| Scientific career | |
| Fields | Computer science |
| Institutions | Stanford University |
| Thesis | The exokernel operating system architecture (1998) |
| Doctoral advisor | Frans Kaashoek |
Dawson R. Engler is an American computer scientist and an Associate Professor of Computer Science and of Electrical Engineering at Stanford University.
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
- ^ "Dawson Engler". web.stanford.edu. Stanford University. Retrieved 13 May 2019.
- ^ Engler, Dawson R (1998). "The Exokernel Operating System Architecture" (PostScript). MIT.
{{cite journal}}: Cite journal requires|journal=(help) - ^ 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.
- ^ Wang, Jessica (21 April 2003). "Professors show they do more than research". The Stanford Daily. No. 41.
- ^ "USENIX Best Papers". usenix.org. USENIX. Retrieved 11 May 2019.
- ^ 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.
{{cite conference}}: Unknown parameter|booktitle=ignored (|book-title=suggested) (help) - ^ "The Mark Weiser Award". Retrieved 10 May 2019.
- ^ "Dawson Engler". acm.org. Association for Computing Machinery.
External links
- Dawson Engler at Stanford
- Dawson Engler publications indexed by Google Scholar
| International | |
|---|---|
| National | |
| Academics | |
