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

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)

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

2021

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

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