Hengfeng Wei

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 32

Top Topics

Data Collections

Causal Relations

Snapshot Isolation

Top Venues

Publications

Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
Model-checking-driven explorative testing of CRDT designs and implementations. J. Softw. Evol. Process. 36 (4) (2024)
Si Liu, Luca Multazzu, Hengfeng Wei, David A. Basin
NOC-NOC: Towards Performance-optimal Distributed Transactions. Proc. ACM Manag. Data 2 (1) (2024)
Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
Efficient Black-box Checking of Snapshot Isolation in Databases. Proc. VLDB Endow. 16 (6) (2023)
Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. CoRR (2023)
Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
Efficient Black-box Checking of Snapshot Isolation in Databases. CoRR (2023)
Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations. CoRR (2022)
Xue Jiang, Hengfeng Wei, Yu Huang
Tunable Causal Consistency: Specification and Implementation. CoRR (2022)
Lintian Shi, Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
ViSearch: Weak Consistency Measurement for Replicated Data Types. CoRR (2022)
Xue Jiang, Hengfeng Wei, Yu Huang
Tunable Causal Consistency: Specification and Implementation. ICPADS (2022)
Yi Huang, Hengfeng Wei
Incremental Causal Consistency Checking for Read-Write Memory Histories. Internetware (2022)
Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores. IEEE Trans. Parallel Distributed Syst. 32 (4) (2021)
Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol. CoRR (2021)
Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei
UniStore: A fault-tolerant marriage of causal and strong consistency. USENIX Annual Technical Conference (2021)
Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version). CoRR (2021)
Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol. SSS (2021)
Yuqi Zhang, Hengfeng Wei, Yu Huang
Remove-Win: a Design Framework for Conflict-free Replicated Data Types. ICPADS (2021)
Xiaosong Gu, Hengfeng Wei, Lei Qiao, Yu Huang
Raft with Out-of-Order Executions. Int. J. Softw. Informatics 11 (4) (2021)
Hongrong Ouyang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
Verifying Transactional Consistency of MongoDB. CoRR (2021)
Kaile Huang, Yu Huang, Hengfeng Wei
Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers. CoRR (2020)
Kaile Huang, Yu Huang, Hengfeng Wei
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers. PODC (2020)
Hongrong Ouyang, Hengfeng Wei, Yu Huang
Checking Causal Consistency of MongoDB. Internetware (2020)
Xue Jiang, Hengfeng Wei, Yu Huang
A Generic Specification Framework for Weakly Consistent Replicated Data Types. SRDS (2020)
Yu Huang, Hengfeng Wei, Maosen Huang, Lingzhi Ouyang
Inversion-based Measurement of Data Consistency for Read/Write Registers. CoRR (2019)
Yuqi Zhang, Yu Huang, Hengfeng Wei, Jian Lu
Remove-Win: a Design Framework for Conflict-free Replicated Data Collections. CoRR (2019)
Hengfeng Wei, Yu Huang, Jian Lu
Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. PODC (2018)
Hengfeng Wei, Yu Huang, Jian Lu
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. OPODIS (2018)
Hengfeng Wei, Yu Huang, Jian Lu
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. CoRR (2017)
Hengfeng Wei, Yu Huang, Jian Lu
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems. IEEE Trans. Computers 66 (3) (2017)
Hengfeng Wei, Yu Huang, Jian Lu
Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores. SRDS (2017)
Xue Jiang, Yu Huang, Hengfeng Wei
Fine-Grained Delta Privacy Preservation for Hierarchical Contexts. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld (2016)
Maosen Huang, Hengfeng Wei, Yu Huang
Enabling Mobile Device Coordination over Distributed Shared Memory. ICPADS (2016)
Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, Jian Lu
Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas. IEEE Trans. Parallel Distributed Syst. 27 (5) (2016)
Hengfeng Wei, Yu Huang, Jiannong Cao, Jian Lu
Almost Strong Consistency: "Good Enough" in Distributed Storage Systems. CoRR (2015)
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
Verifying PRAM Consistency over Read/Write Traces of Data Replicas CoRR (2013)
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
Formal specification and runtime detection of temporal properties for asynchronous context. PerCom (2012)