Rui Shi Implementing reliable Linux device drivers in ATS. 41-46 2007 conf/plpv/2007 PLPV http://doi.acm.org/10.1145/1292597.1292605 db/conf/plpv/plpv2007.html#Shi07