User-Guided Device Driver Synthesis
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij
User-Guided Device Driver Synthesis
OSDI, 2014.

OSDI 2014
Full names Links ISxN
	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            = "",
	pages         = "661--676",
	publisher     = "{USENIX Association}",
	title         = "{User-Guided Device Driver Synthesis}",
	year          = 2014,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.