Zhongmiao Li
Zhongmiao Li
Verified email at microsoft.com
Title
Cited by
Cited by
Year
Cure: Strong semantics meets high availability and low latency
DD Akkoorath, AZ Tomsic, M Bravo, Z Li, T Crain, A Bieniusa, N Preguiça, ...
2016 IEEE 36th International Conference on Distributed Computing Systems …, 2016
962016
Optimising client-side geo-replication with partially replicated data structures
I Briquemont, M Bravo, Z Li, P Van Roy
Master's thesis, Louvainla-Neuve, September, 2014
82014
Derflow: distributed deterministic dataflow programming for Erlang
M Bravo, Z Li, P Van Roy, C Meiklejohn
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 51-60, 2014
62014
Transparent speculation in geo-replicated transactional data stores
Z Li, P Van Roy, P Romano
2018 ACM 27th International Symposium on High-Performance Parallel and …, 2018
42018
Speculative transaction processing in geo-replicated data stores
Z Li, P Van Roy, P Romano
Technical Report 2, INESC-ID, 2017
42017
Conflict-free partially replicated data types
I Briquemont, M Bravo, Z Li, P Van Roy
2015 IEEE 7th International Conference on Cloud Computing Technology and …, 2015
42015
Enhancing throughput of partially replicated state machines via multi-partition operation scheduling
Z Li, P Van Roy, P Romano
2017 IEEE 16th International Symposium on Network Computing and Applications …, 2017
32017
Augure: Proactive reconfiguration of cloud applications using heterogeneous resources
RG Martínez, Z Li, A Lopes, L Rodrigues
2017 IEEE 16th International Symposium on Network Computing and Applications …, 2017
22017
Exploiting speculation in partially replicated transactional data stores
Z Li, P Van Roy, P Romano
Proceedings of the 2017 Symposium on Cloud Computing, 640-640, 2017
22017
Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores
Z Li, P Romano, P Van Roy
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems …, 2019
12019
Speculation in Partially-Replicated Transactional Data Stores
Z Li
UNIVERSIDADE DE LISBOA, 2020
2020
A formal proof for Speculative Snapshot Isolation
P VAN ROY, Z LI, G MAUDOUX, X GILLARD
HoneyPot: a caching protocol for causally consistent data stores
I Munteanu, P Van Roy, K Mens, Z Li
Towards High-Performance Replicated Transactional Data Store
Z Li
The system can't perform the operation now. Try again later.
Articles 1–14