Hengfeng Wei (魏恒峰)

Hengfeng Wei 

Research Assistant
(From 2020-08)

Software Institute
State Key Laboratory for Novel Software Technology
Nanjing University


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

Recent Publications

Work In Progress

  1. Verifying Transactional Protocols of MongoDB. 2022. [arXiv Version]

  2. Light-Weight Transactions in Cassandra. 2022.

  3. DistAI in TLA+TLAPS/. 2023.

(*: Corresponding Author)


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


  1. Kaile Huang, Hengfeng Wei*, Yu Huang, Haixiang Li, Anqun Pan.
    Brief Announcement: Byz-GentleRain: An Efficient Byzantine Fault-tolerant Causal Consistency Protocol.
    The 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Nov, 2021.
    [PDF]; [Abstract]; [Funding]

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

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

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

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


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

Full List of Publications