Hengfeng Wei

46 papers A* 6B 6C 1Journal 29Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Generic Specification Framework for Weakly Consistent Replicated Data Types.
IEEE Trans. Parallel Distributed Syst.
Xue Jiang, Hengfeng Wei, Yu Huang, Yuxing Chen, Anqun Pan
2025 J jnl
Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version).
CoRR
Hengfeng Wei, Jiang Xiao, Na Yang, Si Liu, Zijing Yin, Yuxing Chen, Anqun Pan
2025 A* conf
Boosting End-to-End Database Isolation Checking via Mini-Transactions.
ICDE
Hengfeng Wei, Jiang Xiao, Na Yang, Si Liu, Zijing Yin, Yuxing Chen, Anqun Pan
2025 J jnl
Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference.
Proc. ACM Softw. Eng.
Weining Cao, Guangyuan Wu, Tangzhi Xu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma
2025 J jnl
Fast Verification of Strong Database Isolation (Extended Version).
CoRR
Zhiheng Cai, Si Liu, Hengfeng Wei, Yuxing Chen, Anqun Pan
2025 J jnl
Fast Verification of Strong Database Isolation.
Proc. VLDB Endow.
Zhiheng Cai, Si Liu, Hengfeng Wei, Yuxing Chen, Anqun Pan
2025 A* conf
Online Timestamp-Based Transactional Isolation Checking of Database Systems.
ICDE
Hexu Li, Hengfeng Wei, Hongrong Ouyang, Yuxing Chen, Na Yang, Ruohao Zhang, Anqun Pan
2025 J jnl
Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version).
CoRR
Hexu Li, Hengfeng Wei, Hongrong Ouyang, Yuxing Chen, Na Yang, Ruohao Zhang, Anqun Pan
2024 J jnl
IsoVista: Black-box Checking Database Isolation Guarantees.
Proc. VLDB Endow.
Long Gu, Si Liu, Tiancheng Xing, Hengfeng Wei, Yuxing Chen, David A. Basin
2024 A* conf
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.
ASE
Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma
2024 J jnl
Model-checking-driven explorative testing of CRDT designs and implementations.
J. Softw. Evol. Process.
Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
2024 J jnl
NOC-NOC: Towards Performance-optimal Distributed Transactions.
Proc. ACM Manag. Data
Si Liu, Luca Multazzu, Hengfeng Wei, David A. Basin
2024 J jnl
Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels.
Proc. ACM Program. Lang.
Si Liu, Long Gu, Hengfeng Wei, David A. Basin
2023 J jnl
Efficient Black-box Checking of Snapshot Isolation in Databases.
CoRR
Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
2023 J jnl
Efficient Black-box Checking of Snapshot Isolation in Databases.
Proc. VLDB Endow.
Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
2023 J jnl
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service.
CoRR
Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma
2022 — conf
Incremental Causal Consistency Checking for Read-Write Memory Histories.
Internetware
Yi Huang, Hengfeng Wei
2022 J jnl
MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations.
CoRR
Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
2022 B conf
Tunable Causal Consistency: Specification and Implementation.
ICPADS
Xue Jiang, Hengfeng Wei, Yu Huang
2022 J jnl
Tunable Causal Consistency: Specification and Implementation.
CoRR
Xue Jiang, Hengfeng Wei, Yu Huang
2022 J jnl
ViSearch: Weak Consistency Measurement for Replicated Data Types.
CoRR
Lintian Shi, Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
2021 J jnl
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores.
IEEE Trans. Parallel Distributed Syst.
Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu
2021 C conf
Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol.
SSS
Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
2021 J jnl
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol.
CoRR
Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
2021 J jnl
Raft with Out-of-Order Executions.
Int. J. Softw. Informatics
Xiaosong Gu, Hengfeng Wei, Lei Qiao, Yu Huang
2021 B conf
Remove-Win: a Design Framework for Conflict-free Replicated Data Types.
ICPADS
Yuqi Zhang, Hengfeng Wei, Yu Huang
2021 J jnl
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version).
CoRR
Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei
2021 — conf
UniStore: A fault-tolerant marriage of causal and strong consistency.
USENIX ATC
Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei
2021 J jnl
Verifying Transactional Consistency of MongoDB.
CoRR
Hongrong Ouyang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan
2020 B conf
A Generic Specification Framework for Weakly Consistent Replicated Data Types.
SRDS
Xue Jiang, Hengfeng Wei, Yu Huang
2020 — conf
Checking Causal Consistency of MongoDB.
Internetware
Hongrong Ouyang, Hengfeng Wei, Yu Huang
2020 A* conf
Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers.
PODC
Kaile Huang, Yu Huang, Hengfeng Wei
2020 J jnl
Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers.
CoRR
Kaile Huang, Yu Huang, Hengfeng Wei
2019 J jnl
Inversion-based Measurement of Data Consistency for Read/Write Registers.
CoRR
Yu Huang, Hengfeng Wei, Maosen Huang, Lingzhi Ouyang
2019 J jnl
Remove-Win: a Design Framework for Conflict-free Replicated Data Collections.
CoRR
Yuqi Zhang, Yu Huang, Hengfeng Wei, Jian Lu
2018 A* conf
Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
PODC
Hengfeng Wei, Yu Huang, Jian Lu
2018 B conf
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
OPODIS
Hengfeng Wei, Yu Huang, Jian Lu
2017 B conf
Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.
SRDS
Hengfeng Wei, Yu Huang, Jian Lu
2017 J jnl
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.
IEEE Trans. Computers
Hengfeng Wei, Yu Huang, Jian Lu
2017 J jnl
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.
CoRR
Hengfeng Wei, Yu Huang, Jian Lu
2016 B conf
Enabling Mobile Device Coordination over Distributed Shared Memory.
ICPADS
Maosen Huang, Hengfeng Wei, Yu Huang
2016 — conf
Fine-Grained Delta Privacy Preservation for Hierarchical Contexts.
UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld
Xue Jiang, Yu Huang, Hengfeng Wei
2016 J jnl
Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas.
IEEE Trans. Parallel Distributed Syst.
Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, Jian Lu
2015 J jnl
Almost Strong Consistency: "Good Enough" in Distributed Storage Systems.
CoRR
Hengfeng Wei, Yu Huang, Jiannong Cao, Jian Lu
2013 J jnl
Verifying PRAM Consistency over Read/Write Traces of Data Replicas
CoRR
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2012 A* conf
Formal specification and runtime detection of temporal properties for asynchronous context.
PerCom
Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu