Decaf: Moving Device Drivers to a Modern Language.

Matthew J. Renzelmann, Michael M. Swift

Browse the full USENIX paper archive.