Biblio

Export 3 results:
Filters: Author is Ronghui Gu  [Clear All Filters]
2021
Yao J, Tao R, Gu R, Nieh J, Jana S, Ryan G.  2021.  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :405--421.
Li S-W, Li X, Gu R, Nieh J, Hui JZhuang.  2021.  Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. 30th USENIX Security Symposium (USENIX Security 21). :3953--3970.
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.