Login / Signup
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