Follow
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
1802016
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
102015
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
102014
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
82014
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
72017
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
62019
Speculative transaction processing in geo-replicated data stores
Z Li, P Van Roy, P Romano
Technical report, Technical Report 2, INESC-ID, 2017
62017
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
52018
Augure: Proactive reconfiguration of cloud applications using heterogeneous resources
RG Martinez, Z Li, A Lopes, L Rodrigues
2017 IEEE 16th International Symposium on Network Computing and Applications …, 2017
42017
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
Speculation in partially-replicated transactional data stores.
Z Li
Catholic University of Louvain, Louvain-la-Neuve, Belgium, 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