User-Guided Device Driver Synthesis.

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

Published in: OSDI (2014)

Keyphrases

car navigation
cellular phone
real time
functional programs
neural network
texture synthesis
program synthesis
portable devices