Hengfeng Wei (魏恒峰)

Hengfeng Wei 

Research Assistant
(From 2020-08)

Software Institute
State Key Laboratory for Novel Software Technology
Nanjing University

hfwei 

About me

I am now a research assistant with Software Institute at Nanjing University.

I received the B.S. and Ph.D. degrees in computer science and technology from Nanjing University in 2009 and 2016, respectively.

From 2017-01 to 2020-07, I was a research assistant with the Department of Computer Science and Technology at Nanjing University.

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

Selected Recent Publications

Work In Progress

  1. Xue Jiang, Hengfeng Wei*, Yu Huang.
    A Generic Specification Framework for Weakly Consistent Replicated Data Types.
    IEEE Transactions on Parallel and Distributed Systems (TPDS (Under review)).

(*: Corresponding Author)

2023

  1. Si Liu, Luca Multazzu, Hengfeng Wei, David Basin.
    NOC-NOC: Towards Performance-optimal Distributed Transactions.
    International Conference on Management of Data (SIGMOD (Accepted); June 2024), xxx-xxx.
    [PDF]; [Abstract]; [ACM Link]; [bib];

  2. 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. Volumn 16, No. 6 (PVLDB; April 2023), 1264–1276.
    [PDF]; [arXiv Version]; [Abstract]; [Funding]; [ACM Link] [bib]

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


Full List of Publications