Hengfeng Wei (魏恒峰)

(*: Corresponding Author)

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.
   [ACM Link]; [PDF]; [Abstract]; [bib]

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.
   [ACM Link] [PDF]; [Abstract]; [bib]

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.
   [PVLDB Link] [PDF]; [Abstract]; [bib]

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.
   [ACM Link]; [PDF]; [Abstract]; [bib];

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.
   [PDF]; [arXiv Version]; [Abstract]; [Funding]; [ACM Link] [bib]

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.
   [PDF] (Journal version of the Internetware’2020/2021 paper); [Abstract]; [Funding]

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.
   [PDF (Extended Version)]

2. 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.
   [PDF]; [PDF (Extended Version)]; [Abstract]; [Funding]

3. 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.
   [PDF]; [Video at bilibili]; [PDF (in English; ICSI’2021) ]

4. Hongrong Ouyang, Hengfeng Wei*, Yu Huang.
   Checking Causal Consistency of MongoDB.
   The 12th Asia-Pacific Symposium on Internetware (Internetware), May 12-14. 2021.
   [PDF]; [Video at bilibili]

5. 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.
   [PDF]; [Abstract]; [Funding];

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.
   [PDF]

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.
   [PDF]

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.
   [PDF]

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.
   [PDF]; [Video at bilibili]

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.
   [PDF]

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.
   [PDF]

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.
   [PDF]

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.
   [PDF]

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.
   [PDF]

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.
   [PDF]