User-Guided Device Driver Synthesis.

Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij

Browse the full OSDI paper archive.