Hengfeng Wei (魏恒峰)

About me

I am currently an associate professor in the College of Computer Science and Electronic Engineering at Hunan University.

I received my B.S. and Ph.D. degrees in Computer Science and Technology from Nanjing University in 2009 and 2016, respectively.

From January 2017 to August 2020, I was a research assistant in the Department of Computer Science and Technology at Nanjing University. From September 2020 to July 2025, I was a research assistant in Software Institute at Nanjing University.

My research interests include Database Systems, Distributed Computing, and Formal Methods.   <<more>>

Selected Recent Publications

(*: Corresponding Author)

2027

1. Zhou Zhou, Si Liu*, Hengfeng Wei, Min Zhang*.
   Distribution-Aware Distributed Database Testing (Extended Version).
   Proc. VLDB Endow. (PVLDB 2027), to appear.
   

2026

1. Zhiheng Cai, Si Liu, Hengfeng Wei*, Yuxing Chen, Anqun Pan.
   Fast Verification of Strong Database Isolation.
   Proc. VLDB Endow. (VLDB 2026) 19.4 (Dec. 2025), pp. 563–575, doi: 10.14778/3785297.3785300.
   
   (The initial draft of this work was prepared while Hengfeng Wei and Zhiheng Cai were with Software Institute, Nanjing University.)

2. Hengfeng Wei, Si Liu, Yuxing Chen.
   Specifying and Analyzing Transactional Consistency Models with Predicates (Extended Abstract).
   The 1st Symposium on Consistency Checking Principles (SCCP 2026; co-located with VLDB 2026), Boston, USA, Sep. 2026.
   

2025

1. Hexu Li, Hengfeng Wei*, Hongrong Ouyang, Yuxing Chen, Na Yang, Ruohao Zhang, Anqun Pan.
   Online Timestamp-based Transactional Isolation Checking of Database Systems.
   2025 IEEE 41st International Conference on Data Engineering (ICDE 2025).
   Hong Kong, 2025, pp. 3738-3750, doi: 10.1109/ICDE65448.2025.00279.
   

2. Hengfeng Wei, Jiang Xiao, Na Yang, Si Liu, Zijing Yin, Yuxing Chen*, Anqun Pan.
   Boosting End-to-End Database Isolation Checking via Mini-Transactions.
   IEEE 41st International Conference on Data Engineering (ICDE 2025).
   Hong Kong, 2025, pp. 3998-4010, doi: 10.1109/ICDE65448.2025.00298.
   

3. Xue Jiang, Hengfeng Wei*, Yu Huang, Yuxing Chen, Anqun Pan.
   A Generic Specification Framework for Weakly Consistent Replicated Data Types.
   in IEEE Transactions on Parallel and Distributed Systems (TPDS 2025),
   vol. 36, no. 6, pp. 1338-1353, June 2025, doi: 10.1109/TPDS.2025.3533546.
   

2024

1. Si Liu, Long Gu, Hengfeng Wei*, David Basin.
   Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels.
   Proc. ACM Program. Lang. 8, OOPSLA2, Article 302 (October 2024), 29 pages.
   

2. Long Gu, Si Liu, Tiancheng Xing, Hengfeng Wei*, Yuxing Chen, David Basin.
   IsoVista: Black-box Checking Database Isolation Guarantees.
   Proc. VLDB Endow. (VLDB 2024; Demo Track) 17.12 (Aug. 2024), pp. 4325–4328.
   

3. Si Liu, Luca Multazzu, Hengfeng Wei, David Basin.
   NOC-NOC: Towards Performance-optimal Distributed Transactions.
   Proc. ACM Manag. Data, Vol. 2, No. 1 (SIGMOD; June 2024), Article 9. 9:1-9:25.
   

2023

1. Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei*, David Basin, Haixiang Li, Anqun Pan.
   Efficient Black-box Checking of Snapshot Isolation in Databases.
   Proc. VLDB Endow. Volume 16, No. 6 (PVLDB; April 2023), 1264–1276.
   

2022

1. Hongrong Ouyang, Hengfeng Wei*, Yu Huang, Haixiang Li*, Anqun Pan.
   Checking Causal Consistency of MongoDB.
   Journal of Computer Science and Technology (JCST), 37(1):128-146, Jan. 2022 (journal version of the Internetware’2020/2021 paper).
   

2021

1. Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei.
   UniStore: A Fault-tolerant Marriage of Causal and Strong Consistency.
   The 2021 USENIX Annual Technical Conference (USENIX ATC), July, 2021.
   

2. Xiaosong Gu, Hengfeng Wei*, Lei Qiao, Yu Huang.
   Raft with Out-of-Order Executions (in Chinese).
   Journal of Software (JOS), 32(6):1748-1778, 2021.
   

3. Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu.
   Achieving Probabilistic Atomicity with Well-Bounded Staleness and Low Read Latency in Distributed Datastores.
   IEEE Transactions on Parallel and Distributed Systems (TPDS), 32(4):815-829, Apr. 2021.
   

2020

1. Hengfeng Wei, Ruize Tang, Yu Huang, Jian Lu.
   Jupiter Made Abstract, and Then Refined.
   Journal of Computer Science and Technology (JCST), 35(6):1343-1364, Dec. 2020.
   

2. Xue Jiang, Hengfeng Wei*, Yu Huang.
   A Generic Specification Framework for Weakly Consistent Replicated Data Types.
   In the Proceeding of the 39th International Symposium on Reliable Distributed Systems (SRDS), Sep. 2020.
   

3. Kaile Huang, Yu Huang, Hengfeng Wei.
   Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers.
   In the Proceeding of the ACM Symposium on Principles of Distributed Computing (PODC), Aug. 2020.
   

4. Xingchen Yi, Hengfeng Wei*, Yu Huang, Lei Qiao, Jian Lu.
   TPaxos in PaxosStore: Derivation, Specification and Refinement (in Chinese).
   Journal of Software (JOS), 31(8):2336-2361, 2020.
   

Full List of Publications