menu
Home
Teaching
Research
Publications
Awards
Activities
Enrollment
Contact
links
OCW
Social

Hengfeng Wei (魏恒峰)

(*: Corresponding Author)

2023

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

2022

  1. Xue Jiang, Hengfeng Wei*, Yu Huang.
    Tunable Causal Consistency: Specification and Implementation.
    The 28th IEEE International Conference on Parallel and Distributed Systems (ICPADS), Jan. 2023.

  2. Yi Huang, Hengfeng Wei.
    Incremental Causal Consistency Checking for Read-Write Memory Histories.
    The 13th Asia-Pacific Symposium on Internetware (Internetware), June 11-12, 2022.

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

2018

  1. Hengfeng Wei, Yu Huang, and Jian Lu.
    Specification and Implementation of Replicated List: the Jupiter Protocol Revisited.
    The 22nd International Conference on Principles of Distributed Systems (OPODIS), 2018, 12:1–12:16.
    [PDF]

  2. Hengfeng Wei, Yu Huang, and Jian Lu.
    Brief Announcement: Specification and Implementation of Replicated List: the Jupiter Protocol Revisited.
    Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing (PODC), 2018, pp. 81–83.

2017

  1. Hengfeng Wei, Yu Huang, and Jian Lu.
    Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems.
    IEEE Trans. Comput. (TC), 66(3), Mar. 2017, pp. 502–514.
    [PDF]

  2. Hengfeng Wei, Yu Huang, and Jian Lu.
    Parameterized and Runtime-Tunable Snapshot Isolation in Distributed Transactional Key-Value Stores.
    The IEEE 36th Symposium on Reliable Distributed Systems (SRDS), Sept. 2017, pp. 21–33.
    [PDF]

2016

  1. Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, and Jian Lu.
    Verifying Pipelined-RAM Consistency over ReadWrite Traces of Data Replicas/.
    IEEE Trans. Parallel Distrib. Syst. (TPDS), 27(5), May 2016, pp. 1511–1523.
    [PDF]

2012

  1. Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, and Jian Lu.
    Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context.
    Proceedings of the 10th IEEE International Conference on Pervasive Computing and Communications (PerCom), 2012, pp. 30–38.
    [PDF]