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

来自Algorithm Wiki
跳转至: 导航搜索
Jupiter
Publications
第28行: 第28行:
 
== Publications ==
 
== Publications ==
  
[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]
+
[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]
  
 
* [[#AOT | AOT: Algebraic Operational Transformation (WIP)]]
 
* [[#AOT | AOT: Algebraic Operational Transformation (WIP)]]

2018年8月6日 (一) 11:01的版本



Profile

Whf-white-2016-12.jpg

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: hfwei-nju-edu-cn

Research Interests

I am interested in Distributed Computing Theory and Formal Methods.

Publications

dblp: Hengfeng Wei

scholar: Hengfeng Wei


Algebraic Operational Transformation

 Work in Progress.
[展开]

Specification and Implementation of Replicated List: The Jupiter Protocol Revisited

 Hengfeng Wei, Yu Huang, Jian Lu.
 Accepted as a BA (Brief Announcement) by PODC'2018
 Paper: Jupiter@PODC-BA'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

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