User-Guided Device Driver Synthesis Leonid Ryzhyk, University of Toronto, NICTA, and University of New South Wales; Adam Walker, NICTA and University of New South Wales; John Keys, Intel Corporation; Alexander Legg, NICT - Legg - Document - PDFSEARCH.IO

First Page	Meta Content
	User-Guided Device Driver Synthesis Leonid Ryzhyk, University of Toronto, NICTA, and University of New South Wales; Adam Walker, NICTA and University of New South Wales; John Keys, Intel Corporation; Alexander Legg, NICT Add to Reading List Open Document File Size: 442,37 KB Share Result on Facebook

User-Guided Device Driver Synthesis Leonid Ryzhyk, University of Toronto, NICTA, and University of New South Wales; Adam Walker, NICTA and University of New South Wales; John Keys, Intel Corporation; Alexander Legg, NICTAdd to Reading List