도슨 엥글러

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.

레퍼런스

  1. ^ a b "Dawson Engler". Stanford University. Retrieved August 18, 2020.
  2. ^ Engler, Dawson R (1998). "The Exokernel Operating System Architecture" (PostScript). MIT. {{cite journal}}:Cite 저널 요구 사항 journal=(도움말)
  3. ^ 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.
  4. ^ 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.
  5. ^ "USENIX Best Papers". USENIX. Retrieved May 11, 2019.
  6. ^ Johansen, Håvard (October 29, 2019). "The Hall of Fame Award 2018". ACM SIGOPS. Retrieved August 18, 2020.
  7. ^ "The Mark Weiser Award". Retrieved May 10, 2019.
  8. ^ "Dawson Engler". Association for Computing Machinery.

외부 링크