User-Guided Device Driver Synthesis

TitleUser-Guided Device Driver Synthesis
Publication TypeConference Paper
Year of Publication2014
AuthorsRyzhyk L, Walker A, Keys J, Legg A, Raghunath A, Stumm M, Vij M
Conference Name11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)
Date Published10/2014
PublisherUSENIX Association
Conference LocationBroomfield, CO
ISBN Number 978-1-931971-16-4
URLhttps://www.usenix.org/conference/osdi14/technical-sessions/presentation/ryzhyk