Доусон Энглер - Dawson Engler

Доусон Энглер
ОбразованиеУниверситет штата Аризона
Массачусетский Институт Технологий
НаградыПремия Марка Вайзера (2006)
Премия Грейс Мюррей Хоппер (2008)
Научная карьера
ПоляИнформатика
УчрежденияСтэндфордский Университет
ТезисАрхитектура операционной системы exokernel  (1998)
ДокторантФранс Каашук

Доусон Р. Энглер американец специалист в области информатики и доцент кафедры информатики и электротехники в Стэндфордский Университет.

Карьера

После окончания Университет штата Аризона, Энглер получил докторскую степень. от Массачусетский Институт Технологий в 1998 году при работе с Франс Каашук в MIT CSAIL Группа параллельных и распределенных операционных систем. В центре внимания его дипломная работа был экзоядро.[1][2][3]

Энглер в настоящее время является адъюнкт-профессором информатики и электротехники в Стэндфордский Университет. В 2002 году он стал соучредителем Покровительство с несколькими его учениками, чтобы коммерциализировать работу своей группы в статический анализ кода за ошибка -поисковая техника.[1][4]

Награды и отличия

Энглер получил USENIX Награда за лучшую работу от Разработка и внедрение операционных систем (OSDI) на конференциях 2000, 2004 и 2008 годов.[5] Вместе со своими учениками Кристианом Кадаром и Даниэлем Данбаром он был награжден премией 2018 года. Премия Зала славы SIGOPS за их доклад на конференции 2008 года.[6]

Энглер выиграл 2006 Премия SIGOPS Марка Вайзера за его работу в операционные системы исследование.[7] В 2008 году он получил Премия Грейс Мюррей Хоппер за его работу по внедрению и разработке инструментов и методов, автоматизирующих поиск ошибок в программных системах.[8]

Рекомендации

  1. ^ а б "Доусон Энглер". Стэндфордский Университет. Получено 18 августа, 2020.
  2. ^ Энглер, Доусон Р. (1998). «Архитектура операционной системы Exokernel» (PostScript). Массачусетский технологический институт. Цитировать журнал требует | журнал = (помощь)
  3. ^ Энглер, Д. Р .; Kaashoek, M. F .; О'Тул, Дж. (3 декабря 1995 г.). «Exokernel: архитектура операционной системы для управления ресурсами на уровне приложений». Обзор операционных систем ACM SIGOPS. 29 (5): 251–266. Дои:10.1145/224057.224076.
  4. ^ Bessey, Al; Блок, Кен; Шельф, Бен; Чоу, Энди; Фултон, Брайан; Халлем, Сет; Анри-Гро, Шарль; Камский, Ася; Макпик, Скотт; Энглер, Доусон (февраль 2010 г.). «Несколько миллиардов строк кода спустя: использование статического анализа для поиска ошибок в реальном мире» (PDF). Коммуникации ACM. 53 (2): 66–75. Дои:10.1145/1646353.1646374.
  5. ^ "Лучшие статьи USENIX". usenix.org. USENIX. Получено 11 мая, 2019.
  6. ^ Йохансен, Гавард (29 октября 2019 г.). «Премия Зала славы 2018». ACM SIGOPS. Получено 18 августа, 2020.
  7. ^ "Премия Марка Вайзера". Получено 10 мая, 2019.
  8. ^ "Доусон Энглер". acm.org. Ассоциация вычислительной техники.

внешняя ссылка