Dawson Engler - Dawson Engler
Dawson Engler | |
---|---|
Vzdělávání | Arizonská státní univerzita Massachusetts Institute of Technology |
Ocenění | Cena Marka Weisera (2006) Cena Grace Murray Hopperové (2008) |
Vědecká kariéra | |
Pole | Počítačová věda |
Instituce | Stanfordská Univerzita |
Teze | Architektura operačního systému exokernel (1998) |
Doktorský poradce | Frans Kaashoek |
Dawson R. Engler je Američan počítačový vědec a docent výpočetní techniky a elektrotechniky na Stanfordská Univerzita.
Kariéra
Po absolvování Arizonská státní univerzita, Engler získal titul Ph.D. z Massachusetts Institute of Technology v roce 1998 při práci s Frans Kaashoek v MIT CSAIL Skupina paralelních a distribuovaných operačních systémů. Zaměření jeho diplomová práce byl exokernel.[1][2][3]
Engler je v současné době docentem výpočetní techniky a elektrotechniky na Stanfordská Univerzita. V roce 2002 spoluzaložil Krytí s několika svými studenty komercializovat práci své skupiny v statická analýza kódu pro Chyba - vyhledávací technologie.[1][4]
Ceny a vyznamenání
Engler obdržel USENIX Cena za nejlepší papír od Návrh a implementace operačních systémů (OSDI) na jejich konferencích v letech 2000, 2004 a 2008.[5] Se svými studenty Cristianem Cadarem a Danielem Dunbarem mu byla společně udělena cena za rok 2018 Cena SIGOPS Hall of Fame Award za příspěvek na konferenci v roce 2008.[6]
Engler vyhrál v roce 2006 Cena SIGOPS Mark Weiser za jeho práci v operační systémy výzkum.[7] V roce 2008 obdržel Cena Grace Murray Hopperové za jeho práci při zavádění a vývoji nástrojů a technik, které automatizují hledání chyb v softwarových systémech.[8]
Reference
- ^ A b „Dawson Engler“. Stanfordská Univerzita. Citováno 18. srpna 2020.
- ^ Engler, Dawson R (1998). „Architektura operačního systému Exokernel“ (PostScript). MIT. Citovat deník vyžaduje
| deník =
(Pomoc) - ^ Engler, D. R.; Kaashoek, M. F .; O'Toole, J. (3. prosince 1995). "Exokernel: architektura operačního systému pro správu prostředků na úrovni aplikace". Recenze operačních systémů 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 (únor 2010). „O několik miliard řádků kódu později: použití statické analýzy k vyhledání chyb v reálném světě“ (PDF). Komunikace ACM. 53 (2): 66–75. doi:10.1145/1646353.1646374.
- ^ „USENIX Best Papers“. usenix.org. USENIX. Citováno 11. května 2019.
- ^ Johansen, Håvard (29. října 2019). „Cena Síně slávy 2018“. ACM SIGOPS. Citováno 18. srpna 2020.
- ^ „Cena Marka Weisera“. Citováno 10. května 2019.
- ^ „Dawson Engler“. acm.org. Sdružení pro výpočetní techniku.
externí odkazy
- Dawson Engler ve Stanfordu
- Dawson Engler publikace indexované podle Google Scholar