Yanan Zhi

According to our database, Yanan Zhi authored at least 3 papers between 2017 and 2021.

Collaborative distances:

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

2021

Formal Verification of Consensus in the Taurus Distributed Database.

Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang

Proceedings of the Formal Methods - 24th International Symposium, 2021

2018

Dynamic Timestamp Allocation for Reducing Transaction Aborts.

Vaibhav Arora, Ravi Kumar Suresh Babu, Sujaya Maiyya, Divyakant Agrawal, Amr El Abbadi, Xun Xue, Yanan Zhi, Jianfeng Zhu

Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017

Leader or Majority: Why have one when you can have both? Improving Read Scalability in Raft-like consensus protocols.

Vaibhav Arora, Tanuj Mittal, Divyakant Agrawal, Amr El Abbadi, Xun Xue, Yanan Zhi, Jianfeng Zhu

Proceedings of the 9th USENIX Workshop on Hot Topics in Cloud Computing, 2017