Wang, Zhaoguo

1. On the parallels between Paxos and Raft, and how to port optimizations
   2019/05/26 by Zhaoguo Wang, Wang, Zhaoguo, Changgeng Zhao +7 · 3 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge
2. Learned Indexes for Dynamic Workloads
   2019/02/02 by Tang, Chuzhe, Dong, Zhiyuan, Wang, Minjie +2 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. Polyjuice: High-Performance Transactions via Learned Concurrency Control
   2021/05/21 by Wang, Jiachen, Ding, Ding, Wang, Huan +4 · 1 citation
   #Databases (cs.DB) #FOS: Computer and information sciences #H.2.4