@inproceedings {180270, author = {Matthew J. Renzelmann and Asim Kadav and Michael M. Swift}, title = {{SymDrive}: Testing Drivers without Devices}, booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)}, year = {2012}, isbn = {978-1-931971-96-6}, address = {Hollywood, CA}, pages = {279--292}, url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/renzelmann}, publisher = {USENIX Association}, month = oct } @inproceedings {267681, author = {Matthew J. Renzelmann and Michael M. Swift}, title = {Decaf: Moving Device Drivers to a Modern Language}, booktitle = {2009 USENIX Annual Technical Conference (USENIX ATC 09)}, year = {2009}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/usenix-09/decaf-moving-device-drivers-modern-language}, publisher = {USENIX Association}, month = jun }