Dawson R. Engler

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Benjamin Chelf

> Home > Persons > Dawson R. Engler

Publications

2010
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BesseyBCCFHHKME10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BesseyBCCFHHKME10
Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler:
A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2): 66-75 (2010)
2002
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/ChelfEH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/ChelfEH02
Benjamin Chelf, Dawson R. Engler, Seth Hallem:
How to write system-specific, static checkers in metal. PASTE 2002: 51-60
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HallemCXE02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HallemCXE02
Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler:
A System and Language for Building System-Specific, Static Analyses. PLDI 2002: 69-82
2001
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/ChouYCHE01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/ChouYCHE01
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler:
An Empirical Study of Operating System Errors. SOSP 2001: 73-88
2000
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ChouCEH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ChouCEH00
Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich:
Using Meta-level Compilation to Check FLASH Protocol Code. ASPLOS 2000: 59-70
[c15]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/EnglerCCH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/EnglerCCH00
Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem:
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. OSDI 2000: 1-16

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.