Biblio

Export 2 results:
Filters: Author is David Detweiler  [Clear All Filters]
2022
Huang Y, Narayanan V, Detweiler D, Huang K, Tan G, Jaeger T, Burtsev A.  2022.  KSplit: Automating Device Driver Isolation. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :613--631.
2020
Narayanan V, Huang T, Detweiler D, Appel D, Li Z, Zellweger G, Burtsev A.  2020.  RedLeaf: Isolation and Communication in a Safe Operating System. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :21--39.