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

(*: Corresponding Author)

Work In Progress

  1. Byz-GentleRain: An Efficient Byzantine Fault-tolerant Causal Consistency Protocol. 2021.

  2. Verifying Transactional Protocols of MongoDB. 2021.


  1. Manuel Bravo, Alexey Gotsman, Borja de Régil, and 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]

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

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

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


  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


  • The C Programming Language (@software.nju.edu.cn)

    • 2021 Fall (Stay Tuned)

  • Discrete Mathematics (@software.nju.edu.cn)

  • Compilers (@software.nju.edu.cn)

  • Problem Solving (@cs.nju.edu.cn)

    • 2017 Spring (IV)

    • 2017 Fall (I), 2018 Spring (II), 2018 Fall (III), 2019 Spring (IV)

    • 2019 Fall (I), 2020 Spring (II)