Dawson Engler

Dawson R. Engler is an American computer scientist and an associate professor of computer science and 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

Career

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. The focus of his graduate thesis was the exokernel.[1][2][3]

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 received the USENIX Best Paper award from Operating Systems Design and Implementation (OSDI) at their 2000, 2004, and 2008 conferences.[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]

Engler won the 2006 SIGOPS Mark Weiser Award for his work in operating systems research.[7] In 2008, he received the Grace Murray Hopper Award for his work in introducing and developing tools and techniques that automate error-finding in software systems.[8]

References
  1. "Dawson Engler". Stanford University. Retrieved August 18, 2020.
  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. (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.
  4. Bessey, Al; Block, Ken; Chelf, Ben; Chou, Andy; Fulton, Bryan; Hallem, Seth; Henri-Gros, Charles; Kamsky, Asya; McPeak, Scott; Engler, Dawson (February 2010). "A few billion lines of code later: using static analysis to find bugs in the real world" (PDF). Communications of the ACM. 53 (2): 66–75. doi:10.1145/1646353.1646374. S2CID 2611544.
  5. "USENIX Best Papers". usenix.org. USENIX. Retrieved May 11, 2019.
  6. Johansen, Håvard (October 29, 2019). "The Hall of Fame Award 2018". ACM SIGOPS. Retrieved August 18, 2020.
  7. "The Mark Weiser Award". Retrieved May 10, 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.