도슨 엥글러
Dawson Engler도슨 엥글러 | |
---|---|
교육 | 애리조나 주립 대학교 매사추세츠 공과대학 |
어워드 | Mark Weiser Award (2006) 그레이스 머레이 호퍼상(2008) |
과학 경력 | |
필드 | 컴퓨터 공학 |
기관 | 스탠퍼드 대학교 |
논문 | 외부 운영 체제 아키텍처 (1998) |
박사 어드바이저 | 프란스 카쇼크 |
Dawson R. Engler는 미국의 컴퓨터 과학자이며 스탠포드 대학의 컴퓨터 공학과 전기 공학 부교수입니다.
직업
엥글러는 애리조나 대학 졸업 후 1998년 매사추세츠 공과대학에서 MIT CSAIL 병행 및 분산 운영체제 그룹에서 Frans Kaashoek과 함께 박사학위를 취득했습니다.그의 대학원 연구의 초점은 [1][2][3]엑소커널이었다.
Engler는 현재 스탠포드 대학의 컴퓨터 공학 및 전기 공학 부교수입니다.2002년 그는 버그 탐지 기술을 [1][4]위한 정적 코드 분석 연구를 상용화하기 위해 몇몇 학생들과 함께 커버티(Coverity)를 공동 설립했습니다.
수상과 영예우
Engler와 공동 저자들은 2000년, 2004년 및 [5]2008년 USENIX의 OSDI 회의에서 최우수 논문상을 받았습니다.그는 그의 제자 크리스티안 카다와 다니엘 던바와 함께 2008년 [6]컨퍼런스에서 그들의 논문으로 2018 SIGOPS 명예의 전당상을 공동 수상했습니다.
Engler는 운영체제 [7]연구에 대한 업적으로 2006년 SIGOPS Mark Weiser Award를 수상하였습니다.2008년에는, 「자동 프로그램 체크와 버그 [8]검출에 관한 획기적인 작업」으로 Grace Murray Hopper상을 수상했습니다.
선택한 출판물
- Cadar, C.; Dunbar, D.; Engler, D. (December 8, 2008). "Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs". Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008: 209–224.
- Engler, D. R.; Kaashoek, M. F.; O'Toole, J. (1995). "Exokernel: an operating system architecture for application-level resource management". Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles - 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: automatically generating inputs of death". Proceedings of the 13th ACM Conference on Computer and Communications Security - CCS '06: 322–335. doi:10.1145/1180405.1180445. S2CID 209393318.
- Engler, Dawson; Ashcraft, Ken (December 2003). "RacerX: effective, static detection of race conditions and deadlocks". ACM SIGOPS Operating Systems Review. 37 (5): 237–252. doi:10.1145/1165389.945468.
- Engler, Dawson; Chen, David Yu; Hallem, Seth; Chou, Andy; Chelf, Benjamin (December 2001). "Bugs as deviant behavior: a general approach to inferring errors in systems code". ACM SIGOPS Operating Systems Review. 35 (5): 57–72. doi:10.1145/502059.502041.
레퍼런스
- ^ a b "Dawson Engler". Stanford University. Retrieved August 18, 2020.
- ^ Engler, Dawson R (1998). "The Exokernel Operating System Architecture" (PostScript). MIT.
{{cite journal}}
:Cite 저널 요구 사항journal=
(도움말) - ^ Engler, D. R.; Kaashoek, M. F.; O'Toole, J. (December 3, 1995). "Exokernel: an operating system architecture for application-level resource management". ACM SIGOPS Operating Systems Review. 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 (February 2010). "A few billion lines of code later: using static analysis to find bugs in the real world" (PDF). Communications of the ACM. 53 (2): 66–75. doi:10.1145/1646353.1646374. S2CID 2611544.
- ^ "USENIX Best Papers". USENIX. Retrieved May 11, 2019.
- ^ Johansen, Håvard (October 29, 2019). "The Hall of Fame Award 2018". ACM SIGOPS. Retrieved August 18, 2020.
- ^ "The Mark Weiser Award". Retrieved May 10, 2019.
- ^ "Dawson Engler". Association for Computing Machinery.
외부 링크
- 도슨 잉글러 스탠포드 대학 웹사이트
- Google Scholar에 의해 색인화된 Dawson Engler 출판물