Paper Details
Reference:
Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, and Mona Vij,
"User-guided device driver synthesis",
In Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation (OSDI'14), Broomfield, CO, USA, USENIX Association, October, 2014, pp. 661–676.
Download:
Abstract:
Automatic device driver synthesis is a radical approach to creating drivers faster and with fewer defects by generating them automatically based on hardware device specifications. We present the design and implementation of a new driver synthesis toolkit, called Termite-2. Termite-2 is the first tool to combine the power of automation with the flexibility of conventional development. It is also the first practical synthesis tool based on abstraction refinement. Finally, it is the first synthesis tool to support automated debugging of input specifications. We demonstrate the practicality of Termite-2 by synthesizing drivers for a number of I/O devices representative of a typical embedded platform.
Reference Info:
DOI: 10.5555/2685048.2685101
ISBN: 9781931971164
OCLC: 8876996093
BibTeX:
@inproceedings(Ryzhyk-OSDI-14,
author = {Leonid Ryzhyk and Adam Walker and John Keys and Alexander Legg and Arun Raghunath and Michael Stumm and Mona Vij},
title = {User-guided device driver synthesis},
booktitle = {Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation (\textbf{OSDI'14})},
location = {Broomfield, CO, USA},
publisher = {USENIX Association},
month = {October},
year = {2014},
pages = {661-676},
doi = {10.5555/2685048.2685101},
isbn = {9781931971164},
)