Ronghui Gu

According to our database, Ronghui Gu authored at least 15 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.

Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon

Proc. ACM Program. Lang., 2020

Learning nonlinear loop invariants with gated continuous logic networks.

Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

CLN2INV: Learning Loop Invariants with Continuous Logic Networks.

Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

Contract-based verification of a realistic quantum compiler.

Yunong Shi, Xupeng Li, Runzhou Tao, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu

CoRR, 2019

Building certified concurrent OS kernels.

Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo

Commun. ACM, 2019

Using concurrent relational logic with helpers for verifying the AtomFS file system.

Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Scaling symbolic evaluation for automated verification of systems code with Serval.

Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers.

Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu

J. Autom. Reason., 2018

Certified concurrent abstraction layers.

Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Partial Order Aware Concurrency Sampling.

Xinhao Yuan, Junfeng Yang, Ronghui Gu

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

An auditing language for preventing correlated failures in the cloud.

Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, Xi Wang

Proc. ACM Program. Lang., 2017

Safety and Liveness of MCS Lock - Layer by Layer.

Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

End-to-end verification of information-flow security for C and assembly programs.

David Costanzo, Zhong Shao, Ronghui Gu

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.

Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

Deep Specifications and Certified Abstraction Layers.

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015