“用户:Hengfeng-Wei”的版本间的差异

2020年8月24日 (一) 19:18的版本

Profile

Hengfeng Wei (魏恒峰)

• Research Assistant (助理研究员)：From 2017-01

 Institute of Computer Software                          (软件所)
 State Key Laboratory for Novel Software Technology      (软件新技术国家重点实验室)
 Department of Computer Science and Technology           (计算机科学与技术系)
 Nanjing University （Xianlin Campus）                    (南京大学 仙林校区)
 Addr: 163 Xianlin Road, Qixia District, Nanjing, Jiangsu 210023, China     (江苏省南京市栖霞区仙林大道163号南京大学仙林校区 210023)

 Office: 302
 Mailbox: H016
 Email: 

Research Interests

I am interested in Distributed Computing Theory and Formal Methods.

Publications

dblp: Hengfeng Wei

scholar: Hengfeng Wei

• [RefineJupiter]: Jupiter Made Abstract, and then Refined (WIP)
• [SpecFramework@SRDS2020]: Specification Framework for Weakly Consistent Replicated Data Types (WIP)
• [FastAtomic@PODC2020]: Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers of Multi-writer Atomic Registers
• [PaxosStore@软件学报2020] PaxosStore中共识算法TPaxos的推导、规约与精化
• [CRDT@软件学报2020] CRDT协议的TLA+ 描述与验证
• [Jupiter@OPODIS2018@PODC-BA2018]: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
• [RVSI@SRDS2017]: Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores
• [PA2AM@TC2017]: Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
• [VPC@TPDS2016]: Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas
• [CTL3@PerCom2012]: Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context

A Generic Specification Framework for Weakly Consistent Replicated Data Types

 Xue Jiang, Hengfeng Wei, Yu Huang. In the Proceeding of the 39th International Symposium on Reliable Distributed Systems (SRDS 2020). Accepted. (To Appear)

Jupiter Made Abstract, and then Refined

 Under Review (JCST2020).

Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers of Multi-writer Atomic Registers

 Kaile Huang, Yu Huang, and Hengfeng Wei. 
 “Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers of Multi-writer Atomic Registers”.
 In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2020), 2020.

PaxosStore中共识算法TPaxos的推导、规约与精化

 易星辰, 魏恒峰, 黄宇, 乔磊, 吕建. 
 PaxosStore中共识算法TPaxos的推导、规约与精化. 
 软件学报 2020. 2020年第8期 (已录用).

CRDT协议的TLA+ 描述与验证

 易星辰, 魏恒峰, 黄宇, 吕建. 
 CRDT协议的TLA+ 描述与验证.
 软件学报 2020. 2020年第6期.

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited

 Hengfeng Wei, Yu Huang, and Jian Lu.
 “Specification and Implementation of Replicated List: The Jupiter Protocol Revisited”. 
 In: 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China.
 2018, 12:1–12:16. url: https://doi.org/10.4230/LIPIcs.OPODIS.2018.12

 Hengfeng Wei, Yu Huang, and Jian Lu.
 “Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited”.
 In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. PODC ’18.
 Egham, United Kingdom: ACM, 2018, pp. 81–83. url: http://doi.acm.org/10.1145/3212734.3212

 Paper: Jupiter@PODC-BA'2018  Paper: Jupiter@OPODIS'2018  [Paper: Jupiter@arXiv (full version)]

Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores

 Hengfeng Wei, Yu Huang, Jian Lu.
 Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores.
 In Proc. of the 36th International Symposium on Reliable Distributed Systems (SRDS), pp. 21--33, Hong Kong, China, Sep.2017.
 [Paper:RVSI@SRDS17]

 One can always find made up examples of ..., but it is hard to convince that .... 
 This paper does not go beyond ....                          --- From Reviewers

 The following is all about the experimental section, which is probably the weakest part of the paper.
                                                             --- From Reviewers

Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems

 Hengfeng Wei, Yu Huang, Jian Lu. 
 Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems. 
 In IEEE Trans. Comput. (IEEE Transactions on Computers), 66(3):502--514, doi:10.1109/TC.2016.2601322, March 2017.
 [abstract@IEEE]  [Paper: PA2AM@TC'2017] [Paper: PA2AM@arXiv (not up-to-date)]

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas

 Hengfeng Wei, Marzio De Biasi, Yu Huang, Jiannong Cao, and Jian Lu. 
 Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas.
 In IEEE Trans. Parallel Distrib. Syst., 27(5):1511--1523, May 2016, doi:10.1109/TPDS.2015.2453985
 [abstract@IEEE]  [Paper: VPC@TPDS'2016] [Paper: VPC@arXiv(not up-to-date)]
 SCI: DJ5HS

Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context

 Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu. 
 Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context. 
 In Proceedings of the 10th IEEE International Conference on Pervasive Computing and Communications 
 (IEEE PerCom '12), pages 30--38, 2012.
 [abstract@IEEE]  [Paper: CTL3@PerCom'2012]
 EI: 20122315082503

Projects

Links

• hengxin@GitHub

• hengxin@StackExchange