Hengfeng Wei (魏恒峰)

(*: Corresponding Author)

Guangyuan Wu (NJU), Weining Cao (NJU), Yuan Yao* (NJU), Hengfeng Wei (NJU), Taolue Chen (UoL), Xiaoxing Ma (NJU).
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.
In 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), October 27-November 1, 2024, 12 pages.
[ACM Link] [PDF]; [Abstract]; [bib]
Si Liu (ETH), Long Gu (NJU), Hengfeng Wei* (NJU), David Basin (ETH).
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]
Long Gu (NJU), Si Liu (ETH), Tiancheng Xing (NJU), Hengfeng Wei* (NJU), Yuxing Chen (Tencent), David Basin (ETH).
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]
Si Liu (ETH), Luca Multazzu (ETH), Hengfeng Wei (NJU), David Basin (ETH).
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];

Kaile Huang (NJU), Si Liu (ETH), Zhenge Chen (NJU), Hengfeng Wei* (NJU), David Basin (ETH), Haixiang Li (Tencent), Anqun Pan (Tencent).
Efficient Black-box Checking of Snapshot Isolation in Databases.
Proc. VLDB Endow. Volume 16, No. 6 (PVLDB; April 2023), 1264–1276.
[ACM Link] [PDF]; [arXiv Version]; [Abstract]; [Funding]; [bib]

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]

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)]
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]
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) ]
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]
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];

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]
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]
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]
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]
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]

About me