Biblio

Export 7 results:
Filters: Author is Ronghui Gu  [Clear All Filters]
2023
Li X, Li X, Qiang W, Gu R, Nieh J.  2023.  Spoq: Scaling Machine-Checkable Systems Verification in Coq. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :851--869.
2022
Li X, Li X, Dall C, Gu R, Nieh J, Sait Y, Stockwell G.  2022.  Design and Verification of the Arm Confidential Compute Architecture. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :465--484.
Yao J, Tao R, Gu R, Nieh J.  2022.  DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :485--501.
David Y, Sun X, Sofaer RJ, Senthilnathan A, Yang J, Zuo Z, Xu GHarry, Nieh J, Gu R.  2022.  UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :751--767.
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.