Author of the publication

GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database.

, , , , , , , , , , , , , and . Proc. ACM Manag. Data, 1 (1): 62:1-62:27 (2023)

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

Location-Aware Coordinated Beamforming for High Mobility Cell-Free mmWave Systems., , , , , , , and . IEEE Wirel. Commun. Lett., 13 (3): 899-903 (March 2024)Proving Logical Atomicity using Lock Invariants., , , , , and . CoRR, (2023)Proof Pearl: Magic Wand as Frame., , , and . CoRR, (2019)A Tool for Estimating Memory Usage., and . TASE, page 287-288. IEEE Computer Society, (2009)Stack Bound Inference for Abstract Java Bytecode., , , and . TASE, page 57-66. IEEE Computer Society, (2010)Certifying graph-manipulating C programs via localizations within data structures., , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 171:1-171:30 (2019)Foundational Verification of Stateful P4 Packet Processing., , , , , and . ITP, volume 268 of LIPIcs, page 32:1-32:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Noncooperative Distributed Social Welfare Optimization with EV Charging Response., , , and . IECON, page 2097-2102. IEEE, (2018)A Deep Generative Model for Non-Intrusive Identification of EV Charging Profiles., , , and . IEEE Trans. Smart Grid, 11 (6): 4916-4927 (2020)Learning in Potential Games for Electric Power Grids: Models, Dynamics, and Outlook., , and . IEEE Syst. J., 16 (3): 5079-5091 (2022)