Arpaci-DusseauABDEGNP03'

@inproceedings{DBLP:conf/sosp/Arpaci-DusseauABDEGNP03,
  author    = {Andrea C. Arpaci-Dusseau and
               Remzi H. Arpaci-Dusseau and
               Nathan C. Burnett and
               Timothy E. Denehy and
               Thomas J. Engle and
               Haryadi S. Gunawi and
               James A. Nugent and
               Florentina I. Popovici},
  title     = {Transforming policies into mechanisms with infokernel},
  booktitle = {SOSP},
  year      = {2003},
  pages     = {90-105},
  ee        = {http://doi.acm.org/10.1145/945445.945455},
  crossref  = {DBLP:conf/sosp/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sosp/2003,
  editor    = {Michael L. Scott and
               Larry L. Peterson},
  title     = {Proceedings of the 19th ACM Symposium on Operating Systems
               Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October
               19-22, 2003},
  booktitle = {SOSP},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-757-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}