Dawson R. Engler es un científico informático estadounidense y profesor asociado de ciencias de la computación e ingeniería eléctrica en la Universidad de Stanford .
Dawson Engler | |
---|---|
Educación | Instituto de Tecnología de Massachusetts de la Universidad Estatal de Arizona |
Premios | Premio Mark Weiser (2006) Premio Grace Murray Hopper (2008) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad Stanford |
Tesis | La arquitectura del sistema operativo exokernel (1998) |
Asesor de doctorado | Frans Kaashoek |
Carrera profesional
Después de graduarse de la Universidad de Arizona , Engler obtuvo su Ph.D. del Instituto de Tecnología de Massachusetts en 1998 mientras trabajaba con Frans Kaashoek en el Grupo de Sistemas Operativos Distribuidos y Paralelos CSAIL del MIT . El foco de su tesis de posgrado fue el exokernel . [1] [2] [3]
Engler es actualmente profesor asociado de ciencias de la computación e ingeniería eléctrica en la Universidad de Stanford . En 2002, cofundó Coverity con varios de sus estudiantes para comercializar el trabajo de su grupo en el análisis de código estático para la tecnología de detección de errores . [1] [4]
Premios y honores
Engler recibió el premio USENIX Best Paper de Operating Systems Design and Implementation (OSDI) en sus conferencias de 2000, 2004 y 2008. [5] Con sus estudiantes Cristian Cadar y Daniel Dunbar, fue galardonado conjuntamente con el Premio SIGOPS Hall of Fame 2018 por su trabajo en la conferencia de 2008. [6]
Engler ganó el premio SIGOPS Mark Weiser de 2006 por su trabajo en la investigación de sistemas operativos . [7] En 2008, recibió el premio Grace Murray Hopper por su trabajo en la introducción y desarrollo de herramientas y técnicas que automatizan la búsqueda de errores en sistemas de software. [8]
Referencias
- ^ a b "Dawson Engler" . Universidad de Stanford . Consultado el 18 de agosto de 2020 .
- ^ Engler, Dawson R (1998). "La arquitectura del sistema operativo Exokernel" (PostScript) . MIT. Cite journal requiere
|journal=
( ayuda ) - ^ Engler, DR; Kaashoek, MF; O'Toole, J. (3 de diciembre de 1995). "Exokernel: una arquitectura de sistema operativo para la gestión de recursos a nivel de aplicación". Revisión de sistemas operativos ACM SIGOPS . 29 (5): 251–266. doi : 10.1145 / 224057.224076 .
- ^ Bessey, Al; Block, Ken; Chelf, Ben; Chou, Andy; Fulton, Bryan; Hallem, Seth; Henri-Gros, Charles; Kamsky, Asya; McPeak, Scott; Engler, Dawson (febrero de 2010). "Unos pocos miles de millones de líneas de código más tarde: uso de análisis estático para encontrar errores en el mundo real" (PDF) . Comunicaciones de la ACM . 53 (2): 66–75. doi : 10.1145 / 1646353.1646374 . S2CID 2611544 .
- ^ "Mejores artículos de USENIX" . usenix.org . USENIX . Consultado el 11 de mayo de 2019 .
- ^ Johansen, Håvard (29 de octubre de 2019). "Premio Salón de la Fama 2018" . SIGOPS ACM . Consultado el 18 de agosto de 2020 .
- ^ "El premio Mark Weiser" . Consultado el 10 de mayo de 2019 .
- ^ "Dawson Engler" . acm.org . Asociación para Maquinaria de Computación.
enlaces externos
- Dawson Engler en Stanford
- Publicaciones de Dawson Engler indexadas por Google Scholar