Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij
User-Guided Device Driver Synthesis
OSDI, 2014.
@inproceedings{OSDI-2014-RyzhykWKLRSV,
author = "Leonid Ryzhyk and Adam Walker and John Keys and Alexander Legg and Arun Raghunath and Michael Stumm and Mona Vij",
booktitle = "{Proceedings of the 11th Symposium on Operating Systems Design and Implementation}",
ee = "https://www.usenix.org/conference/osdi14/technical-sessions/presentation/ryzhyk",
pages = "661--676",
publisher = "{USENIX Association}",
title = "{User-Guided Device Driver Synthesis}",
year = 2014,
}