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