Доусон Энглер
Доусон Энглер | |
|---|---|
| Образование | Государственный университет Аризоны Массачусетский технологический институт |
| Награды | Премия Марка Вайзера (2006) Премия Грейс Мюррей Хоппер (2008) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Стэнфордский университет |
| Диссертация | Архитектура экзоядерной операционной системы (1998 г.) |
| Докторантура | Франс Каашук |
Доусон Р. Энглер — американский учёный-компьютерщик и доцент кафедры информатики и электротехники в Стэнфордском университете .
Карьера [ править ]
После окончания Университета Аризоны Энглер получил степень доктора философии. из Массачусетского технологического института в 1998 году, когда работал с Франсом Каашуком в группе параллельных и распределенных операционных систем MIT CSAIL . В центре его аспирантуры было экзоядро . [1] [2] [3]
Энглер в настоящее время является доцентом кафедры информатики и электротехники в Стэнфордском университете . основал Coverity В 2002 году он вместе с несколькими своими учениками , чтобы коммерциализировать работу своей группы в области статического анализа кода для технологий поиска ошибок . [1] [4]
Награды и почести [ править ]
Энглер и его соавторы получили награду за лучшую статью на конференциях USENIX OSDI в 2000, 2004 и 2008 годах. [5] Вместе со своими учениками Кристианом Кадаром и Дэниелом Данбаром он был совместно награжден Премией Зала славы SIGOPS 2018 года за свою статью на конференции 2008 года. [6]
Энглер получил в 2006 году премию Марка Вайзера SIGOPS за свою работу в области исследования операционных систем . [7] В 2008 году он получил премию Грейс Мюррей Хоппер за «новаторскую работу по автоматизированной проверке программ и поиску ошибок». [8]
Избранные публикации [ править ]
- Кадар, К.; Данбар, Д.; Энглер, Д. (8 декабря 2008 г.). «Клее: автоматическое создание тестов с высоким уровнем покрытия для сложных системных программ» без посторонней помощи. Материалы 8-го симпозиума USENIX по проектированию и внедрению операционных систем, OSDI 2008 : 209–224.
- Энглер, доктор медицинских наук; Каашук, МФ; О'Тул, Дж. (1995). «Экзоядро». Материалы пятнадцатого симпозиума ACM по принципам операционных систем - СОСП '95 . стр. 251–266. дои : 10.1145/224056.224076 . ISBN 0897917154 . S2CID 221932539 .
- Кадар, Кристиан; Ганеш, Виджай; Павловский, Питер М.; Дилл, Дэвид Л.; Энглер, Доусон Р. (2006). «EXE: Автоматическое создание входных данных о смерти». Материалы 13-й конференции ACM «Компьютерная и коммуникационная безопасность» . стр. 322–335. дои : 10.1145/1180405.1180445 . ISBN 1595935185 . S2CID 209393318 .
- Энглер, Доусон; Эшкрафт, Кен (декабрь 2003 г.). «RacerX: эффективное статическое обнаружение условий гонки и тупиков». Обзор операционных систем ACM SIGOPS . 37 (5): 237–252. дои : 10.1145/1165389.945468 .
- Энглер, Доусон; Чен, Дэвид Ю; Халлем, Сет; Чоу, Энди; Челф, Бенджамин (декабрь 2001 г.). «Ошибки как девиантное поведение: общий подход к выявлению ошибок в системном коде». Обзор операционных систем ACM SIGOPS . 35 (5): 57–72. дои : 10.1145/502059.502041 .
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б «Доусон Энглер» . Стэнфордский университет . Проверено 18 августа 2020 г.
- ^ Энглер, Доусон Р. (1998). «Архитектура экзоядерной операционной системы» (PostScript) . Массачусетский технологический институт.
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ Энглер, доктор медицинских наук; Каашук, МФ; О'Тул, Дж. (3 декабря 1995 г.). «Экзоядро: архитектура операционной системы для управления ресурсами на уровне приложений». Обзор операционных систем ACM SIGOPS . 29 (5): 251–266. дои : 10.1145/224057.224076 .
- ^ Бесси, Эл; Блок, Кен; Челф, Бен; Чоу, Энди; Фултон, Брайан; Халлем, Сет; Анри-Гро, Шарль; Камский, Ася; Макпик, Скотт; Энглер, Доусон (февраль 2010 г.). «Несколько миллиардов строк кода спустя: использование статического анализа для поиска ошибок в реальном мире» (PDF) . Коммуникации АКМ . 53 (2): 66–75. дои : 10.1145/1646353.1646374 . S2CID 2611544 .
- ^ «Лучшие статьи USENIX» . УСЕНИКС . Проверено 11 мая 2019 г.
- ^ Йохансен, Ховард (29 октября 2019 г.). «Премия Зала славы 2018» . АСМ СИГОПС . Проверено 18 августа 2020 г.
- ^ «Премия Марка Вайзера» . Проверено 10 мая 2019 г.
- ^ «Доусон Энглер» . Ассоциация вычислительной техники .
Внешние ссылки [ править ]
- Доусон Энглер на сайте Стэнфордского университета
- Публикации Доусона Энглера , индексируемые Google Scholar
- Живые люди
- Американские ученые-компьютерщики
- Исследователи языков программирования
- Люди, тестирующие программное обеспечение
- Выпускники Университета штата Аризона
- Выпускники Массачусетского технологического института
- Преподаватели Стэнфордского университета
- Факультет электротехники Стэнфордского университета
- Лауреаты премии Грейс Мюррей Хоппер