Formalising device driver interfaces.

Leonid Ryzhyk, Ihor Kuz, Gernot Heiser

Browse the full SOSP paper archive.