Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
OSDI '14 Home
Symposium Organizers
At a Glance
Registration Information
Technical Sessions
Co-Located Workshops
Activities
Sponsorship
Students and Grants
Co-located Workshops
Questions?
Help Promote!
For Participants
Call for Papers
Past Symposia
John Keys, Intel Corporation
Linked Presentation:
User-Guided Device Driver Synthesis