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

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.

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.

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

Teaching

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