Hengfeng Wei (魏恒峰)

(*: 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.
   

2. Long Gu, Si Liu, Hengfeng Wei.
   Mechanizing Transactional Anomalous Patterns for Weak Isolation Levels.
   Festschrift and Workshop in Honour of David Basin, 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.
   

2. Weining Cao, Guangyuan Wu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma.
   I3DP: Neuro-Symbolic Inductive Invariant Inference for Distributed Protocols.
   The ACM SIGOPS 32nd Symposium on Operating Systems Principles (SOSP 2026), pp. 620–635, doi: 10.1145/3830418.3843876.
   

3. Guangyuan Wu, Weining Cao, Zehui Tan, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma.
   InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs.
   arXiv preprint arXiv:2607.05478, July 2026.
   

4. Zhiheng Cai, Si Liu, Hengfeng Wei, Yuxing Chen.
   Extending Elle for Transaction Workloads with Duplicate Values.
   The 1st Symposium on Consistency Checking Principles (SCCP 2026; co-located with VLDB 2026), Boston, USA, Sep. 2026.
   

5. Qiuhuan Xiong, Hengfeng Wei, Si Liu, Yuxing Chen, Jidong Ge.
   Semantic Conformance of Concurrency Control Protocols under Mixed Isolation Levels.
   The 1st Symposium on Consistency Checking Principles (SCCP 2026; co-located with VLDB 2026), Boston, USA, Sep. 2026.
   

6. 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. Weining Cao, Guangyuan Wu, Tangzhi Xu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma.
   Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference.
   Proc. ACM Softw. Eng., Vol. 2, No. ISSTA, Article ISSTA045 (ISSTA 2025).
   

2. 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.
   

3. 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.
   

4. 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. Guangyuan Wu, Weining Cao, Yuan Yao*, Hengfeng Wei, Taolue Chen, Xiaoxing Ma.
   LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.
   In 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), 12 pages.
   

2. 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.
   

3. 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.
   

4. 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.
   

5. Yuqi Zhang, Yu Huang*, Hengfeng Wei, Xiaoxing Ma.
   Model-checking-driven explorative testing of CRDT designs and implementations.
   Journal of Software: Evolution and Process (JSEP) 36(4), e2555, 2024, doi: 10.1002/smr.2555.
   

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. Xue Jiang, Hengfeng Wei*, Yu Huang.
   Tunable Causal Consistency: Specification and Implementation.
   The 28th IEEE International Conference on Parallel and Distributed Systems (ICPADS), Jan. 2023.
   

2. Yi Huang, Hengfeng Wei.
   Incremental Causal Consistency Checking for Read-Write Memory Histories.
   The 13th Asia-Pacific Symposium on Internetware (Internetware), June 11-12, 2022.
   

3. 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. Yuqi Zhang, Hengfeng Wei*, Yu Huang*.
   Remove-Win: a Design Framework for Conflict-free Replicated Data Types.
   The 27th IEEE International Conference on Parallel and Distributed Systems (ICPADS), 2021.
   

2. Kaile Huang, Hengfeng Wei*, Yu Huang, Haixiang Li, Anqun Pan.
   Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol.
   Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 13046, pp. 495-499, 2021. (Brief Announcement)
   

3. 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.
   

4. 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.
   

5. Hongrong Ouyang, Hengfeng Wei*, Yu Huang.
   Checking Causal Consistency of MongoDB.
   The 12th Asia-Pacific Symposium on Internetware (Internetware), May 12-14. 2021.
   

6. 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.
   

5. Ye Ji, Hengfeng Wei*, Yu Huang, Jian Lu.
   Specifying and Verifying CRDT Protocols Using TLA+ (in Chinese).
   Journal of Software (JOS), 31(5):1332-1352, 2020.
   

2018

1. Hengfeng Wei, Yu Huang, and Jian Lu.
   Specification and Implementation of Replicated List: the Jupiter Protocol Revisited.
   The 22nd International Conference on Principles of Distributed Systems (OPODIS), 2018, 12:1–12:16.
   

2. Hengfeng Wei, Yu Huang, and Jian Lu.
   Brief Announcement: Specification and Implementation of Replicated List: the Jupiter Protocol Revisited.
   Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing (PODC), 2018, pp. 81–83.
   

2017

1. Hengfeng Wei, Yu Huang, and Jian Lu.
   Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.
   IEEE Trans. Comput. (TC), 66(3), Mar. 2017, pp. 502–514.
   

2. Hengfeng Wei, Yu Huang, and Jian Lu.
   Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.
   The IEEE 36th Symposium on Reliable Distributed Systems (SRDS), Sept. 2017, pp. 21–33.
   

2016

1. Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, and Jian Lu.
   Verifying Pipelined-RAM Consistency over ReadWrite Traces of Data Replicas/.
   IEEE Trans. Parallel Distrib. Syst. (TPDS), 27(5), May 2016, pp. 1511–1523.
   

2012

1. Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, and Jian Lu.
   Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context.
   Proceedings of the 10th IEEE International Conference on Pervasive Computing and Communications (PerCom), 2012, pp. 30–38.