Hengfeng Wei

According to our database, Hengfeng Wei authored at least 34 papers between 2012 and 2024.

Collaborative distances:

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

2024

IsoVista: Black-box Checking Database Isolation Guarantees.

Long Gu, Si Liu, Tiancheng Xing, Hengfeng Wei, Yuxing Chen, David A. Basin

Proc. VLDB Endow., August, 2024

Model-checking-driven explorative testing of CRDT designs and implementations.

Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma

J. Softw. Evol. Process., April, 2024

NOC-NOC: Towards Performance-optimal Distributed Transactions.

Si Liu, Luca Multazzu, Hengfeng Wei, David A. Basin

Proc. ACM Manag. Data, February, 2024

Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels.

Si Liu, Long Gu, Hengfeng Wei, David A. Basin

Proc. ACM Program. Lang., 2024

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.

Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023

Efficient Black-box Checking of Snapshot Isolation in Databases.

Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan

Proc. VLDB Endow., 2023

Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service.

Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma

CoRR, 2023

2022

ViSearch: Weak Consistency Measurement for Replicated Data Types.

Lintian Shi, Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma

CoRR, 2022

MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations.

Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma

CoRR, 2022

Incremental Causal Consistency Checking for Read-Write Memory Histories.

Yi Huang, Hengfeng Wei

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

Tunable Causal Consistency: Specification and Implementation.

Xue Jiang, Hengfeng Wei, Yu Huang

Proceedings of the 28th IEEE International Conference on Parallel and Distributed Systems, 2022

2021

Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores.

Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu

IEEE Trans. Parallel Distributed Syst., 2021

Raft with Out-of-Order Executions.

Xiaosong Gu, Hengfeng Wei, Lei Qiao, Yu Huang

Int. J. Softw. Informatics, 2021

Verifying Transactional Consistency of MongoDB.

Hongrong Ouyang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan

CoRR, 2021

UniStore: A fault-tolerant marriage of causal and strong consistency (extended version).

Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei

CoRR, 2021

UniStore: A fault-tolerant marriage of causal and strong consistency.

Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol.

Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

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

Yuqi Zhang, Hengfeng Wei, Yu Huang

Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021

2020

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

Kaile Huang, Yu Huang, Hengfeng Wei

CoRR, 2020

A Generic Specification Framework for Weakly Consistent Replicated Data Types.

Xue Jiang, Hengfeng Wei, Yu Huang

Proceedings of the International Symposium on Reliable Distributed Systems, 2020

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

Kaile Huang, Yu Huang, Hengfeng Wei

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Checking Causal Consistency of MongoDB.

Hongrong Ouyang, Hengfeng Wei, Yu Huang

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019

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

Yuqi Zhang, Yu Huang, Hengfeng Wei, Jian Lu

CoRR, 2019

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

Yu Huang, Hengfeng Wei, Maosen Huang, Lingzhi Ouyang

CoRR, 2019

2018

Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.

Hengfeng Wei, Yu Huang, Jian Lu

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.

Hengfeng Wei, Yu Huang, Jian Lu

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.

Hengfeng Wei, Yu Huang, Jian Lu

IEEE Trans. Computers, 2017

Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.

Hengfeng Wei, Yu Huang, Jian Lu

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

2016

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas.

Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, Jian Lu

IEEE Trans. Parallel Distributed Syst., 2016

Fine-Grained Delta Privacy Preservation for Hierarchical Contexts.

Xue Jiang, Yu Huang, Hengfeng Wei

Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Enabling Mobile Device Coordination over Distributed Shared Memory.

Maosen Huang, Hengfeng Wei, Yu Huang

Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

2015

Almost Strong Consistency: "Good Enough" in Distributed Storage Systems.

Hengfeng Wei, Yu Huang, Jiannong Cao, Jian Lu

CoRR, 2015

2013

Verifying PRAM Consistency over Read/Write Traces of Data Replicas

Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu

CoRR, 2013

2012

Formal specification and runtime detection of temporal properties for asynchronous context.

Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu

Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012