Biblio

Export 1 results:
Filters: Author is Jieung Kim  [Clear All Filters]
2016
Gu R, Shao Z, Chen H, Wu X, Kim J, Sj√∂berg V, Costanzo D.  2016.  CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. 12th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 16). :653--669.