Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores von Ouyang, Lingzhi, Huang, Yu, Wei, Hengfeng, Lu, Jian

Volltext

Model‐checking‐driven explorative testing of CRDT designs and implementations von Zhang, Yuqi, Huang, Yu, Wei, Hengfeng, Ma, Xiaoxing

Volltext

Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems von Wei, Hengfeng, Huang, Yu, Lu, Jian

Volltext

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas von Wei, Hengfeng, De Biasi, Marzio, Huang, Yu, Cao, Jiannong, Lu, Jian

Volltext

A Generic Specification Framework for Weakly Consistent Replicated Data Types von Jiang, Xue, Wei, Hengfeng, Huang, Yu, Chen, Yuxing, Pan, Anqun

Volltext

IsoVista: Black-Box Checking Database Isolation Guarantees von Gu, Long, Liu, Si, Xing, Tiancheng, Wei, Hengfeng, Chen, Yuxing, Basin, David

Volltext

Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels von Liu, Si, Gu, Long, Wei, Hengfeng, Basin, David

Volltext

Efficient Black-Box Checking of Snapshot Isolation in Databases von Huang, Kaile, Liu, Si, Chen, Zhenge, Wei, Hengfeng, Basin, David, Li, Haixiang, Pan, Anqun

Volltext

NOC-NOC: Towards Performance-optimal Distributed Transactions von Liu, Si, Multazzu, Luca, Wei, Hengfeng, Basin, David A.

Volltext

Raft with Out-of-Order Executions von Gu, Xiaosong, Wei, Hengfeng, Qiao, Lei, Huang, Yu

Volltext

Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol von Huang, Kaile, Wei, Hengfeng, Huang, Yu, Li, Haixiang, Pan, Anqun

Volltext

Tunable Causal Consistency: Specification and Implementation von Jiang, Xue, Wei, Hengfeng, Huang, Yu

Volltext bestellen

Formal specification and runtime detection of temporal properties for asynchronous context von Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu

Volltext bestellen

ViSearch: Weak Consistency Measurement for Replicated Data Types von Shi, Lintian, Zhang, Yuqi, Huang, Yu, Wei, Hengfeng, Ma, Xiaoxing

Volltext bestellen

MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations von Zhang, Yuqi, Huang, Yu, Wei, Hengfeng, Ma, Xiaoxing

Volltext bestellen

Verifying Transactional Consistency of MongoDB von Ouyang, Hongrong, Wei, Hengfeng, Huang, Yu, Li, Haixiang, Pan, Anqun

Volltext bestellen

Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol von Huang, Kaile, Wei, Hengfeng, Huang, Yu, Li, Haixiang, Pan, Anqun

Volltext bestellen

Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers von Huang, Kaile, Huang, Yu, Wei, Hengfeng

Volltext bestellen

UniStore: A fault-tolerant marriage of causal and strong consistency (extended version) von Bravo, Manuel, Gotsman, Alexey, de Régil, Borja, Wei, Hengfeng

Volltext bestellen

Efficient Black-box Checking of Snapshot Isolation in Databases von Huang, Kaile, Liu, Si, Chen, Zhenge, Wei, Hengfeng, Basin, David, Li, Haixiang, Pan, Anqun

Volltext bestellen