“用户:Hengfeng-Wei”的版本间的差异
来自Algorithm Wiki
Hengfeng-Wei(讨论 | 贡献) (→CJupiter) |
Hengfeng-Wei(讨论 | 贡献) |
||
(未显示同一用户的26个中间版本) | |||
第8行: | 第8行: | ||
[[File:Whf-white-2016-12.jpg|right|90px]] | [[File:Whf-white-2016-12.jpg|right|90px]] | ||
− | + | '''<big><big><big><big><big>Please Move to [https://hengxin.github.io/ MY NEW HOMEPAGE]</big></big></big></big></big>''' | |
+ | |||
+ | Hengfeng Wei (魏恒峰) | ||
* Research Assistant (助理研究员):From 2017-01 | * Research Assistant (助理研究员):From 2017-01 | ||
− | + | Software Institute (软件学院) | |
State Key Laboratory for Novel Software Technology (软件新技术国家重点实验室) | State Key Laboratory for Novel Software Technology (软件新技术国家重点实验室) | ||
− | + | Nanjing University (Gulou Campus) (南京大学 鼓楼校区) | |
− | + | Office: 926 (费彝民楼) | |
− | Addr: 163 Xianlin Road, Nanjing 210023, | + | |
+ | Addr: 163 Xianlin Road, Qixia District, Nanjing, Jiangsu 210023, China (江苏省南京市栖霞区仙林大道163号南京大学仙林校区 210023) | ||
− | |||
− | |||
Email: [[File:Hfwei-njumail.png | hfwei-nju-edu-cn]] | Email: [[File:Hfwei-njumail.png | hfwei-nju-edu-cn]] | ||
第28行: | 第29行: | ||
== Publications == | == Publications == | ||
− | [http://dblp.uni-trier.de/pers/hd/w/Wei:Hengfeng dblp | + | [http://dblp.uni-trier.de/pers/hd/w/Wei:Hengfeng dblp: Hengfeng Wei] |
− | * [[# | + | [https://scholar.google.com/citations?user=HK9-98EAAAAJ&hl=en scholar: Hengfeng Wei] |
− | * [[# | + | |
− | * [[#Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores | RVSI: Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores]] | + | * [[#Achieving Probabilistic Atomicity with Well-Bounded Staleness and Low Read Latency in Distributed Datastores | [PA@TPDS2020]: Achieving Probabilistic Atomicity with Well-Bounded Staleness and Low Read Latency in Distributed Datastores]] |
− | * [[#Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems | PA2AM: Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems]] | + | * [[#Jupiter Made Abstract, and Then Refined | [RefineJupiter@JCST2020]: Jupiter Made Abstract, and Then Refined]] |
− | * [[#Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas | VPC: Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas]] | + | * [[#A Generic Specification Framework for Weakly Consistent Replicated Data Types | [SpecFramework@SRDS2020]: Specification Framework for Weakly Consistent Replicated Data Types (WIP)]] |
− | * [[#Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context | CTL3: Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context]] | + | * [[#Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers of Multi-writer Atomic Registers | [FastAtomic@PODC2020]: Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers of Multi-writer Atomic Registers]] |
+ | * [[#PaxosStore中共识算法TPaxos的推导、规约与精化 | [PaxosStore@软件学报2020] PaxosStore中共识算法TPaxos的推导、规约与精化]] | ||
+ | * [[#CRDT协议的TLA+ 描述与验证 | [CRDT@软件学报2020] CRDT协议的TLA+ 描述与验证]] | ||
+ | |||
+ | --- | ||
+ | * [[#Specification and Implementation of Replicated List: The Jupiter Protocol Revisited | [Jupiter@OPODIS2018@PODC-BA2018]: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited]] | ||
+ | |||
+ | --- | ||
+ | * [[#Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores | [RVSI@SRDS2017]: Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores]] | ||
+ | * [[#Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems | [PA2AM@TC2017]: Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems]] | ||
+ | |||
+ | --- | ||
+ | * [[#Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas | [VPC@TPDS2016]: Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas]] | ||
+ | * [[#Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context | [CTL3@PerCom2012]: Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context]] | ||
---- | ---- | ||
− | === | + | === Achieving Probabilistic Atomicity with Well-Bounded Staleness and Low Read Latency in Distributed Datastores === |
− | + | Lingzhi Ouyang, Yu Huang, '''Hengfeng Wei''', Jian Lu | |
+ | IEEE Trans. on Parallel and Distributed Systems, accepted, Nov. 2020. | ||
− | + | === Jupiter Made Abstract, and Then Refined === | |
− | + | '''Hengfeng Wei''', Ruize Tang, Yu Huang, Jian Lu. | |
− | + | “Jupiter Made Abstract, and then Refined”. | |
+ | Journal of Computer Science and Technology, accepted, Aug. 2020. | ||
+ | |||
+ | === A Generic Specification Framework for Weakly Consistent Replicated Data Types === | ||
+ | Xue Jiang, '''Hengfeng Wei''', Yu Huang. | ||
+ | “A Generic Specification Framework for Weakly Consistent Replicated Data Types”. | ||
+ | In Proceedings of the 39th International Symposium on Reliable Distributed Systems (SRDS 2020). Accepted. (To Appear). | ||
+ | |||
+ | === 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. | |
− | [1708.04754.pdf Jupiter@arXiv (full version)] | + | “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 | ||
+ | |||
+ | [[Media:jupiter-podc18-ba.pdf | Paper: Jupiter@PODC-BA'2018]] [[Media:Jupiter-opodis18.pdf | Paper: Jupiter@OPODIS'2018]] [[Media:1708.04754.pdf | [Paper: Jupiter@arXiv (full version)]]] | ||
<div class="mw-collapsible mw-collapsed"> | <div class="mw-collapsible mw-collapsed"> | ||
This work is inspired by the work on [http://software.imdea.org/~gotsman/papers/editing-podc16.pdf "Specification and Complexity of Collaborative Text Editing"] published in PODC'2016 by Hagit Attiya et al. | This work is inspired by the work on [http://software.imdea.org/~gotsman/papers/editing-podc16.pdf "Specification and Complexity of Collaborative Text Editing"] published in PODC'2016 by Hagit Attiya et al. | ||
− | |||
− | |||
</div> | </div> | ||
第70行: | 第120行: | ||
<div class="mw-collapsible mw-collapsed"> | <div class="mw-collapsible mw-collapsed"> | ||
The formal specification of RVSI (Relaxed Version Snapshot Isolation) in this work is partly inspired by the work on [https://ai2-s2-pdfs.s3.amazonaws.com/0590/4e9741b2d3d9090807408ac9fb5da344c21e.pdf "Relaxed Currency Serializability for Middle-Tier Caching and Replication"] published in SIGMOD'2006 by Philip A.Bernstein ''et al''. | The formal specification of RVSI (Relaxed Version Snapshot Isolation) in this work is partly inspired by the work on [https://ai2-s2-pdfs.s3.amazonaws.com/0590/4e9741b2d3d9090807408ac9fb5da344c21e.pdf "Relaxed Currency Serializability for Middle-Tier Caching and Replication"] published in SIGMOD'2006 by Philip A.Bernstein ''et al''. | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
</div> | </div> | ||
---- | ---- | ||
第137行: | 第176行: | ||
== Projects == | == Projects == | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
== Links == | == Links == | ||
− | + | * [https://github.com/hengxin hengxin@GitHub] | |
− | + | ||
− | + | ||
− | + | ||
− | * [https://github.com/hengxin hengxin@GitHub | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | * [ | + | * [http://stackexchange.com/users/2055160 hengxin@StackExchange] |
2021年1月13日 (三) 10:21的最新版本
目录
[隐藏]- 1 Profile
- 2 Research Interests
- 3 Publications
- 3.1 Achieving Probabilistic Atomicity with Well-Bounded Staleness and Low Read Latency in Distributed Datastores
- 3.2 Jupiter Made Abstract, and Then Refined
- 3.3 A Generic Specification Framework for Weakly Consistent Replicated Data Types
- 3.4 Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers of Multi-writer Atomic Registers
- 3.5 PaxosStore中共识算法TPaxos的推导、规约与精化
- 3.6 CRDT协议的TLA+ 描述与验证
- 3.7 Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
- 3.8 Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores
- 3.9 Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
- 3.10 Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas
- 3.11 Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context
- 4 Projects
- 5 Links
Profile
Please Move to MY NEW HOMEPAGE
Hengfeng Wei (魏恒峰)
- Research Assistant (助理研究员):From 2017-01
Software Institute (软件学院) State Key Laboratory for Novel Software Technology (软件新技术国家重点实验室) Nanjing University (Gulou Campus) (南京大学 鼓楼校区) Office: 926 (费彝民楼)
Addr: 163 Xianlin Road, Qixia District, Nanjing, Jiangsu 210023, China (江苏省南京市栖霞区仙林大道163号南京大学仙林校区 210023)
Email:
Research Interests
I am interested in Distributed Computing Theory and Formal Methods.
Publications
- [PA@TPDS2020]: Achieving Probabilistic Atomicity with Well-Bounded Staleness and Low Read Latency in Distributed Datastores
- [RefineJupiter@JCST2020]: Jupiter Made Abstract, and Then Refined
- [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+ 描述与验证
---
---
- [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
Achieving Probabilistic Atomicity with Well-Bounded Staleness and Low Read Latency in Distributed Datastores
Lingzhi Ouyang, Yu Huang, Hengfeng Wei, Jian Lu IEEE Trans. on Parallel and Distributed Systems, accepted, Nov. 2020.
Jupiter Made Abstract, and Then Refined
Hengfeng Wei, Ruize Tang, Yu Huang, Jian Lu. “Jupiter Made Abstract, and then Refined”. Journal of Computer Science and Technology, accepted, Aug. 2020.
A Generic Specification Framework for Weakly Consistent Replicated Data Types
Xue Jiang, Hengfeng Wei, Yu Huang. “A Generic Specification Framework for Weakly Consistent Replicated Data Types”. In Proceedings of the 39th International Symposium on Reliable Distributed Systems (SRDS 2020). Accepted. (To Appear).
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]
[展开]
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