Ronghui Gu

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Proc. ACM Program. Lang., 2020

Learning nonlinear loop invariants with gated continuous logic networks.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
Proceedings of the 8th International Conference on Learning Representations, 2020

2019
Contract-based verification of a realistic quantum compiler.
CoRR, 2019

Building certified concurrent OS kernels.
Commun. ACM, 2019

Using concurrent relational logic with helpers for verifying the AtomFS file system.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Scaling symbolic evaluation for automated verification of systems code with Serval.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers.
J. Autom. Reason., 2018

Certified concurrent abstraction layers.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Partial Order Aware Concurrency Sampling.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
An auditing language for preventing correlated failures in the cloud.
Proc. ACM Program. Lang., 2017

Safety and Liveness of MCS Lock - Layer by Layer.
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.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015
Deep Specifications and Certified Abstraction Layers.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015


  Loading...