Aravind Menon Simon Schubert Willy Zwaenepoel TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers. 301-312 2009 ASPLOS http://doi.acm.org/10.1145/1508244.1508279 conf/asplos/2009 db/conf/asplos/asplos2009.html#MenonSZ09