KSplit: Automating Device Driver Isolation

Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev. KSplit: Automating Device Driver Isolation. In Marcos K. Aguilera, Hakim Weatherspoon, editors, 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022. pages 613-631, USENIX Association, 2022. [doi]

Abstract

Abstract is missing.