Dawson Engler

Dawson Engler
Ausbildung Universität von Arizona
Massachusetts Institute of Technology
Auszeichnungen Mark Weiser Award (2006)
Grace Murray Hopper Award (2008)
Wissenschaftliche Karriere
Felder Informatik
Institutionen Universität in Stanford
These Die Exokernel -Betriebssystemarchitektur (1998)
Doktorand Frans Kaashoek

Dawson R. Engler ist ein Amerikaner Informatiker und Associate Professor für Informatik und Elektrotechnik bei Universität in Stanford.

Karriere

Nach dem Abschluss von Universität von Arizona, Engler hat seinen Ph.D. von dem Massachusetts Institute of Technology 1998 während der Arbeit mit Frans Kaashoek in dem MIT CSAIL Parallele und verteilte Betriebssystemgruppe. Der Schwerpunkt seines Graduiertenstudiums lag das Exokernel.[1][2][3]

Engler ist derzeit Associate Professor für Informatik und Elektrotechnik bei Universität in Stanford. Im Jahr 2002 war er Mitbegründer Deckung mit einigen seiner Schüler, um die Arbeit seiner Gruppe zu kommerzialisieren in Statische Codeanalyse zum Insekt-Finding -Technologie.[1][4]

Auszeichnungen und Ehrungen

Engler und seine Co-Autoren erhielten den besten Papierpreis bei Usenix's OSDI -Konferenzen in 2000, 2004 und 2008.[5] Mit seinen Schülern Cristian Cadar und Daniel Dunbar wurde er gemeinsam mit dem 2018 ausgezeichnet Sigops Hall of Fame Award für ihre Zeitung auf der Konferenz 2008.[6]

Engler gewann die 2006 Sigops Mark Weiser Award für seine Arbeit in Betriebssysteme Forschung.[7] Im Jahr 2008 erhielt er das Grace Murray Hopper Award Für "bahnbrechende Arbeiten zum automatisierten Programmprüfungen und -findeln".[8]

Ausgewählte Publikationen

  • Cadar, C.; Dunbar, D.; Engler, D. (8. Dezember 2008). "KLEE: Unassistierte und automatische Generation von Hochbedeckungstests für komplexe Systemprogramme". Proceedings of the 8. Usenix Symposium on Betriebssystemdesign und -implementierung, OSDI 2008: 209–224.
  • Engler, D. R.; Kaashoek, M. F.; O'Toole, J. (1995). "Exokernel: Eine Betriebssystemarchitektur für Ressourcenverwaltung auf Anwendungsebene". Verfahren des fünfzehnten ACM -Symposiums für Betriebssysteme - SOSP '95: 251–266. doi:10.1145/224056.224076. S2CID 221932539.
  • Cadar, Cristian; Ganesh, Vijay; Pawlowski, Peter M.; Dill, David L.; Engler, Dawson R. (2006). "Exe: automatisch Erzeugen von Eingaben des Todes". Verfahren der 13. ACM -Konferenz über Computer- und Kommunikationssicherheit - CCS '06: 322–335. doi:10.1145/1180405.1180445. S2CID 209393318.
  • Engler, Dawson; Ashcraft, Ken (Dezember 2003). "Racerx: Effektive, statische Erkennung von Rassenbedingungen und Deadlocks". ACM SIGOPS -Betriebssysteme Überprüfung. 37 (5): 237–252. doi:10.1145/1165389.945468.
  • Engler, Dawson; Chen, David Yu; Hallem, Seth; Chou, Andy; Chelf, Benjamin (Dezember 2001). "Fehler als abweichendes Verhalten: Ein allgemeiner Ansatz, um Fehler im Systemcode zu schließen". ACM SIGOPS -Betriebssysteme Überprüfung. 35 (5): 57–72. doi:10.1145/502059.502041.

Verweise

  1. ^ a b "Dawson Engler". Universität in Stanford. Abgerufen 18. August, 2020.
  2. ^ Engler, Dawson R (1998). "Die Exokernel -Betriebssystemarchitektur" (PostScript). MIT. {{}}: Journal zitieren erfordert |journal= (Hilfe)
  3. ^ Engler, D. R.; Kaashoek, M. F.; O'Toole, J. (3. Dezember 1995). "Exokernel: Eine Betriebssystemarchitektur für Ressourcenverwaltung auf Anwendungsebene". ACM SIGOPS -Betriebssysteme Überprüfung. 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 (Februar 2010). "Ein paar Milliarden Code -Zeilen später: Verwenden der statischen Analyse, um Fehler in der realen Welt zu finden." (PDF). Kommunikation der ACM. 53 (2): 66–75. doi:10.1145/1646353.1646374. S2CID 2611544.
  5. ^ "Usenix Best Papers". Usenix. Abgerufen 11. Mai, 2019.
  6. ^ Johansen, Håvard (29. Oktober 2019). "Der Hall of Fame Award 2018". ACM Sigops. Abgerufen 18. August, 2020.
  7. ^ "Der Mark Weiser Award". Abgerufen 10. Mai, 2019.
  8. ^ "Dawson Engler". Verband für Rechenmaschinen.

Externe Links