C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Yanan Zhi
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 3
Top Topics
Formal Verification
Model Checker
Concurrency Control Protocols
Significantly Reduced
Top Venues
IEEE CLOUD
FM
HotCloud
</>
Publications
</>
Song Gao
,
Bohua Zhan
,
Depeng Liu
,
Xuechao Sun
,
Yanan Zhi
,
David N. Jansen
,
Lijun Zhang
Formal Verification of Consensus in the Taurus Distributed Database.
FM
(2021)
Vaibhav Arora
,
Ravi Kumar Suresh Babu
,
Sujaya Maiyya
,
Divyakant Agrawal
,
Amr El Abbadi
,
Xun Xue
,
Yanan Zhi
,
Jianfeng Zhu
Dynamic Timestamp Allocation for Reducing Transaction Aborts.
IEEE CLOUD
(2018)
Vaibhav Arora
,
Tanuj Mittal
,
Divyakant Agrawal
,
Amr El Abbadi
,
Xun Xue
,
Yanan Zhi
,
Jianfeng Zhu
Leader or Majority: Why have one when you can have both? Improving Read Scalability in Raft-like consensus protocols.
HotCloud
(2017)