Ronghui Gu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
9
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Highly Automated Verification of Security Properties for Unmodified System Software. | Ganxiang Yang, Wei Qiang, Yi Rong, Xuheng Li, Fanqi Yu, Jason Nieh, Ronghui Gu |
| 2025 | OSDI | Quantum Virtual Machines. | Runzhou Tao, Hongzheng Zhu, Jason Nieh, Jianan Yao, Ronghui Gu |
| 2024 | ASPLOS | Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. | Zhenyang Dai, Shuang Liu, Vilhelm Sjberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He |
| 2023 | OSDI | Spoq: Scaling Machine-Checkable Systems Verification in Coq. | Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh |
| 2022 | OSDI | UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. | Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu |
| 2022 | OSDI | Design and Verification of the Arm Confidential Compute Architecture. | Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell |
| 2022 | OSDI | DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh |
| 2022 | PLDI | Giallar: push-button verification for the qiskit Quantum compiler. | Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu |
| 2021 | OSDI | DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols. | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh, Suman Jana, Gabriel Ryan |
| 2021 | PLDI | Gleipnir: toward practical error analysis for Quantum programs. | Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu |
| 2021 | SP | A Secure and Formally Verified Linux KVM Hypervisor. | Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui |
| 2021 | SOSP | Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. | Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu |
| 2020 | ICLR | CLN2INV: Learning Loop Invariants with Continuous Logic Networks. | Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana |
| 2020 | PLDI | Learning nonlinear loop invariants with gated continuous logic networks. | Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu |
| 2019 | SOSP | Scaling symbolic evaluation for automated verification of systems code with Serval. | Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang |
| 2019 | SOSP | Using concurrent relational logic with helpers for verifying the AtomFS file system. | Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen |
| 2018 | CAV | Partial Order Aware Concurrency Sampling. | Xinhao Yuan, Junfeng Yang, Ronghui Gu |
| 2018 | PLDI | Certified concurrent abstraction layers. | Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jrmie Koenig, Vilhelm Sjberg, Hao Chen, David Costanzo, Tahina Ramananandro |
| 2017 | APLAS | Safety and Liveness of MCS Lock - Layer by Layer. | Jieung Kim, Vilhelm Sjberg, Ronghui Gu, Zhong Shao |
| 2016 | OSDI | CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. | Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjberg, David Costanzo |
| 2016 | PLDI | Toward compositional verification of interruptible OS kernels and device drivers. | Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu |
| 2016 | PLDI | End-to-end verification of information-flow security for C and assembly programs. | David Costanzo, Zhong Shao, Ronghui Gu |
| 2015 | POPL | Deep Specifications and Certified Abstraction Layers. | Ronghui Gu, Jrmie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo |