activity
20092021
most citedChecking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments

7 citations · 13 across the 11 of their papers we have counts for

collaborators

12 papers

cs.DC2021★ 1 cited

Verifying Transactional Consistency of MongoDB

Hongrong Ouyang, Hengfeng Wei, Yu Huang +2

MongoDB is a popular general-purpose, document-oriented, distributed NoSQL database. It supports transactions in three different deployments: single-document transactions utilizing…

cs.DC2021

Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol

Kaile Huang, Hengfeng Wei, Yu Huang +2

Causal consistency is a widely used weak consistency model that allows high availability despite network partitions. There are plenty of research prototypes and industrial deployme…

cs.DC2020

Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers

Kaile Huang, Yu Huang, Hengfeng Wei

Distributed multi-writer atomic registers are at the heart of a large number of distributed algorithms. While enjoying the benefits of atomicity, researchers further explore fast i…

cs.DC2019

Remove-Win: a Design Framework for Conflict-free Replicated Data Types

Yuqi Zhang, Hengfeng Wei, Yu Huang

Distributed storage systems employ replication to improve performance and reliability. To provide low latency data access, replicas are often required to accept updates without coo…

cs.DC2019

Inversion-based Measurement of Data Consistency for Read/Write Registers

Yu Huang, Hengfeng Wei, Maosen Huang +1

Both providers and consumers of distributed storage services benefit from the quantification of the severity of consistency violations. However, existing methods fail to capture a…

cs.DC2017

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited

Hengfeng Wei, Yu Huang, Jian Lu

The replicated list object is frequently used to model the core functionality of replicated collaborative text editing systems. Since 1989, the convergence property has been a comm…