USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 7 results:
Filters: Author is Ronghui Gu [Clear All Filters]
Spoq: Scaling Machine-Checkable Systems Verification in Coq. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :851--869.
.
2023. Design and Verification of the Arm Confidential Compute Architecture. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :465--484.
.
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.
.
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.
.
2022. DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :405--421.
.
2021. Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. 30th USENIX Security Symposium (USENIX Security 21). :3953--3970.
.
2021. CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :653--669.
.
2016.