Static analysis of device drivers: we can do better!
@inproceedings{DBLP:conf/apsys/AmaniRDHLZ11,
author = {Sidney Amani and
Leonid Ryzhyk and
Alastair F. Donaldson and
Gernot Heiser and
Alexander Legg and
Yanjin Zhu},
editor = {Haibo Chen and
Zheng Zhang and
Sue Moon and
Yuanyuan Zhou},
title = {Static analysis of device drivers: we can do better!},
booktitle = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July 11-12, 2011},
pages = {8},
publisher = {{ACM}},
year = {2011},
doi = {10.1145/2103799.2103809},
}