Author of the publication

An Empirical Study on the Correctness of Formally Verified Distributed Systems.

, , , and . EuroSys, page 328-343. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dividends Distribution and Earnings Persistence: Evidence from Chinese Listed Companies., , and . WHICEB, page 13. Association for Information Systems, (2014)Method for Identifying Cancer-Related Genes Using Gene Similarity-Based Collaborative Filtering., , and . J. Comput. Biol., 26 (8): 875-881 (2019)Energy-Latency Tradeoff for Computation Offloading in UAV-Assisted Multiaccess Edge Computing System., , , and . IEEE Internet Things J., 8 (8): 6709-6719 (2021)Hybrid collaborative caching in mobile edge networks: An analytical approach., , , and . Comput. Networks, (2019)Optimal pricing-based computation offloading and resource allocation for blockchain-enabled beyond 5G networks., , , , and . Comput. Networks, (2022)Spherical, Axial, and Triaxial Symmetries in the Study of Halo Nuclei with Covariant Density Functional Theory., , , and . Symmetry, 15 (7): 1420 (July 2023)ParaFuzz: An Interpretability-Driven Technique for Detecting Poisoned Samples in NLP., , , , , , and . CoRR, (2023)DRGraph: An Efficient Graph Layout Algorithm for Large-scale Graphs by Dimensionality Reduction., , , , , and . IEEE Trans. Vis. Comput. Graph., 27 (2): 1666-1676 (2021)Slim: OS Kernel Support for a Low-Overhead Container Overlay Network., , , , , , and . NSDI, page 331-344. USENIX Association, (2019)Automated Verification of Customizable Middlebox Properties with Gravel., , , , and . NSDI, page 221-239. USENIX Association, (2020)