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.