EnglerCCH00'

@inproceedings{DBLP:conf/osdi/EnglerCCH00,
  author    = {Dawson R. Engler and
               Benjamin Chelf and
               Andy Chou and
               Seth Hallem},
  title     = {Checking System Rules Using System-Specific, Programmer-Written
               Compiler Extensions},
  booktitle = {OSDI},
  year      = {2000},
  pages     = {1-16},
  ee        = {http://dl.acm.org/citation.cfm?id=1251230},
  crossref  = {DBLP:conf/osdi/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/osdi/2000,
  title     = {4th Symposium on Operating System Design and Implementation
               (OSDI 2000), San Diego, California, USA, October 23-25,
               2000},
  booktitle = {OSDI},
  publisher = {USENIX Association},
  year      = {2000},
  isbn      = {1-880446-16-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}