@inproceedings{Ryzhyk_CKH_09,
    month            = apr,
    keywords         = {operating systems, device drivers, reliability},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1527.pdf},
    booktitle        = {EuroSys Conference},
    author           = {Ryzhyk, Leonid and Chubb, Peter and Kuz, Ihor and Heiser, Gernot},
    year             = {2009},
    pages            = {275--288},
    title            = {Dingo: Taming Device Drivers},
    address          = {Nuremberg, DE}
  }