| 2025 | ICDE | Online Timestamp-Based Transactional Isolation Checking of Database Systems. | Hexu Li, Hengfeng Wei, Hongrong Ouyang, Yuxing Chen, Na Yang, Ruohao Zhang, Anqun Pan |
| 2025 | ICDE | Boosting End-to-End Database Isolation Checking via Mini-Transactions. | Hengfeng Wei, Jiang Xiao, Na Yang, Si Liu, Zijing Yin, Yuxing Chen, Anqun Pan |
| 2022 | ICPADS | Tunable Causal Consistency: Specification and Implementation. | Xue Jiang, Hengfeng Wei, Yu Huang |
| 2021 | ICPADS | Remove-Win: a Design Framework for Conflict-free Replicated Data Types. | Yuqi Zhang, Hengfeng Wei, Yu Huang |
| 2021 | USENIX | UniStore: A fault-tolerant marriage of causal and strong consistency. | Manuel Bravo, Alexey Gotsman, Borja de Rgil, Hengfeng Wei |
| 2021 | SSS | Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol. | Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan |
| 2020 | PODC | Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers. | Kaile Huang, Yu Huang, Hengfeng Wei |
| 2020 | SRDS | A Generic Specification Framework for Weakly Consistent Replicated Data Types. | Xue Jiang, Hengfeng Wei, Yu Huang |
| 2018 | OPODIS | Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. | Hengfeng Wei, Yu Huang, Jian Lu |
| 2018 | PODC | Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. | Hengfeng Wei, Yu Huang, Jian Lu |
| 2017 | SRDS | Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores. | Hengfeng Wei, Yu Huang, Jian Lu |
| 2016 | ICPADS | Enabling Mobile Device Coordination over Distributed Shared Memory. | Maosen Huang, Hengfeng Wei, Yu Huang |
| 2016 | UIC | Fine-Grained Delta Privacy Preservation for Hierarchical Contexts. | Xue Jiang, Yu Huang, Hengfeng Wei |
| 2012 | PERCOM | Formal specification and runtime detection of temporal properties for asynchronous context. | Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu |