Papers

Sidney Amani, Leonid Ryzhyk, Alastair Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu. Static Analysis of Device Drivers: We Can Do Better!. In Proceedings of the 2nd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys'11). ACM, 2011.

Bibtex:

@inproceedings{AmaniRDHLZ_APSYS2011,
   title      = {Static Analysis of Device Drivers: We Can Do
                 Better!},
   author     = {Sidney Amani and Leonid Ryzhyk and Alastair Donaldson
                 and Gernot Heiser and Alexander Legg and Yanjin
                 Zhu},
   booktitle  = {Proceedings of the 2nd ACM SIGOPS Asia-Pacific
                 Workshop on Systems (APSys'11)},
   publisher  = {ACM},
   year       = {2011}
}