“用户:Hengfeng-Wei”的版本间的差异
来自Algorithm Wiki
Hengfeng-Wei（讨论 | 贡献） 小 （→Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores） |
Hengfeng-Wei（讨论 | 贡献） 小 （→Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores） |
||
| 第64行： | 第64行： | ||
'''Hengfeng Wei''', Yu Huang, Jian Lu. | '''Hengfeng Wei''', Yu Huang, Jian Lu. | ||
Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores. | 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, | + | In ''Proc. of the 36th International Symposium on Reliable Distributed Systems (SRDS)'', pp. 21--33, Hong Kong, China, Sep.2017. |
[[Media:SRDS17_Parameterized_and_Runtime-tunable_Snapshot_Isolation_in_Distributed_Transactional_Key-value_Stores.pdf|[Paper:RVSI@SRDS17]]] | [[Media:SRDS17_Parameterized_and_Runtime-tunable_Snapshot_Isolation_in_Distributed_Transactional_Key-value_Stores.pdf|[Paper:RVSI@SRDS17]]] | ||
2018年4月18日 (三) 21:42的版本
目录
[隐藏]- 1 Profile
- 2 Research Interests
- 3 Publications
- 3.1 Algebraic Operational Transformation
- 3.2 CJupiter
- 3.3 Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores
- 3.4 Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
- 3.5 Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas
- 3.6 Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context
- 4 Projects
- 5 Links
Profile
Hengfeng Wei (魏恒峰) cv (en) cv (ch)
- Research Assistant (助理研究员)：From 2017-01
Institute of Computer Software (软件所) State Key Laboratory for Novel Software Technology (软件新技术国家重点实验室) Department of Computer Science and Technology (计算机科学与技术系) Nanjing University (南京大学) Addr: 163 Xianlin Road, Nanjing 210023, P. R. 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
- AOT: Algebraic Operational Transformation (WIP)
- CJupiter: Compact Jupiter
- RVSI: Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores
- PA2AM: Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
- VPC: Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas
- CTL3: Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context
Algebraic Operational Transformation
Work in Progress.
[展开]
CJupiter
Work Under Review => Rejected from PPoPP'2018 => Under Revision for PODC'2018
[展开]
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]
[折叠]
The formal specification of RVSI (Relaxed Version Snapshot Isolation) in this work is partly inspired by the work on "Relaxed Currency Serializability for Middle-Tier Caching and Replication" published in SIGMOD'2006 by Philip A.Bernstein et al.
It is the first time we use Aliyun in our experiments. This will be the normal case in the future.
Important Lessons Learnt:
- Solve the real problems in realistic ways!
One can always find made up examples of ..., but it is hard to convince that .... This paper does not go beyond .... --- From Reviewers
- System research greatly matters!
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
- Jupiter Simulator [In Plan]
- TLA+ Book Translation [Work in Progress@Bitbucket]
- Please contact me if you are also interested in it.
- LaTeX Editor: Vim-LaTeX Improved
- Project structure
- Label autocompletion and renaming
- TikZ Editor (I am very interested in this project.)
- Detexify for TikZ
- (Better) Code recommendation
Links
- hengxin@github.io: A blog hosted on GitHub.
- hengxin@StackExchange: My profile on StackExchange --- A wonderful Q/A site.
- hengxin@GitHub: Open source projects.
- hengxin@Bitbucket: Private repositories for unpublished papers and reports.
