Hengfeng Wei
Hengfeng Wei
Ph.D candidate of Computer Science, Nanjing University
Verified email at nju.edu.cn - Homepage
Title
Cited by
Cited by
Year
Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context
H Wei, Y Huang, J Cao, X Ma, J Lu
IEEE International Conference on Pervasive Computing and Communication …, 2012
122012
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
H Wei, Y Huang, J Lu
IEEE Transactions on Computers 66 (3), 502-514, 2017
52017
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
H Wei, Y Huang, J Lu
arXiv preprint arXiv:1708.04754, 2017
22017
Verifying pipelined-ram consistency over read/write traces of data replicas
H Wei, M De Biasi, Y Huang, J Cao, J Lu
IEEE Transactions on Parallel and Distributed Systems 27 (5), 1511-1523, 2016
22016
Almost Strong Consistency:" Good Enough" in Distributed Storage Systems
H Wei, Y Huang, J Cao, J Lu
arXiv preprint arXiv:1507.01663, 2015
12015
Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited
H Wei, Y Huang, J Lu
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing …, 2018
2018
Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores
H Wei, Y Huang, J Lu
Reliable Distributed Systems (SRDS), 2017 IEEE 36th Symposium on, 21-33, 2017
2017
Enabling Mobile Device Coordination over Distributed Shared Memory
M Huang, H Wei, Y Huang
Parallel and Distributed Systems (ICPADS), 2016 IEEE 22nd International …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–8