@inproceedings{Ryzhyk_ZH_10,
    address          = {New Delhi, India},
    author           = {Ryzhyk, Leonid and Zhu, Yanjin and Heiser, Gernot},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    keywords         = {device drivers, reliability},
    month            = aug,
    pages            = {25--30},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3681.pdf},
    title            = {The Case for Active Device Drivers},
    year             = {2010}
  }