Dawson Engler

from Wikipedia, the free encyclopedia

Dawson R. Engler is an American computer scientist specializing in operating systems .

Engler received his PhD from the Massachusetts Institute of Technology with Frans Kaashoek in 2006 (The Exokernel Operating System Architecture). The Exokernel operating system project emerged from the dissertation . He is an Associate Professor at Stanford University .

Later he dealt in particular with the automated search for software errors. In 2002 he founded Coverity with some of his students to commercialize software to search for computer bugs, for example in operating systems.

In 2006 he received the Mark Weiser Award .

Fonts (selection)

  • with Frans Kaashoek, James W. O'Toole: Exokernel: An Operating System Architecture for Application-Level Resource Management, ACM SIGOPS Operating Systems Review, Volume 29, 1995, pp. 251-266
  • with Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions, Proceedings of the 4th Symposium on Operating System Design and Implementation, 2000
  • with DY Chen, S. Hallem, A. Chou, B. Chelf: Bugs as deviant behavior: A general approach to inferring errors in systems code, ACM SIGOPS Operating Systems Review, Volume 35, 2001, pp. 57-72
  • with M. Musuvathi, DYW Park, A. Chou, DL Dill: CMC: A pragmatic approach to model checking real code, ACM SIGOPS Operating Systems Review, Volume 36, 2002, pp. 75-88
  • with K. Ashcraft: RacerX: effective, static detection of race conditions and deadlocks, ACM SIGOPS Operating Systems Review, Volume 37, 2003, pp. 237-252
  • with S. Hallem, B. Chelf, Y. Xie: A system and language for building system-specific, static analyzes, ACM SIGPLAN Notices, Volume 37, 2002, pp. 69-82
  • with Junfeng Yang, Can Sar: eXplode: a Lightweight, General System for Finding Serious Storage System Errors, Proceedings of the 7th Symposium on Operating System Design and Implementation, 2006
  • with Cristian Cadar, Daniel Dunbar: Klee: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs, Operating System Design and Implementation (OSDI), December 2008, pp. 209–224
  • with Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill: EXE: automatically generating inputs of death, ACM Transactions on Information and System Security (TISSEC), Volume 12, 2008, No. 2, p. 10
  • with Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak: A few billion lines of code later: using static analysis to find bugs in the real world, Communications of the ACM, Volume 53, 2010, pp. 66-75.

Web links

Individual evidence

  1. ↑ Dawson Engler in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Engler, Dawson
ALTERNATIVE NAMES Engler, Dawson R.
BRIEF DESCRIPTION American computer scientist
DATE OF BIRTH 20th century