Seguir
Kfir Lev-Ari
Kfir Lev-Ari
Apple
Dirección de correo verificada de alumni.technion.ac.il - Página principal
Título
Citado por
Citado por
Año
N-way synchronization of desktop images
IZ Ben-Shaul, T Zamir, L Vasetsky, G Yogev, LEVARI Kfir
US Patent 9,069,579, 2015
105*2015
Slicer:{Auto-Sharding} for datacenter applications
A Adya, D Myers, J Howell, J Elson, C Meek, V Khemani, S Fulger, P Gu, ...
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016
1002016
Fairledger: A fair blockchain protocol for financial institutions
K Lev-Ari, A Spiegelman, I Keidar, D Malkhi
arXiv preprint arXiv:1906.03819, 2019
522019
Modular composition of coordination services
K Lev-Ari, E Bortnikov, I Keidar, A Shraer
2016 USENIX Annual Technical Conference (USENIX ATC 16), 251-264, 2016
352016
Foundationdb record layer: A multi-tenant structured datastore
C Chrysafis, B Collins, S Dugas, J Dunkelberger, M Ehsan, S Gray, ...
Proceedings of the 2019 International Conference on Management of Data, 1787 …, 2019
222019
On correctness of data structures under reads-write concurrency
K Lev-Ari, G Chockler, I Keidar
International Symposium on Distributed Computing, 273-287, 2014
212014
A constructive approach for proving data structures’ linearizability
K Lev-Ari, G Chockler, I Keidar
Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan …, 2015
182015
Weighted auto-sharding
A Shraer, LEVARI Kfir, AA Merchant, V Khemani, A Adya
US Patent 10,530,844, 2020
92020
Composing ordered sequential consistency
K Lev-Ari, E Bortnikov, I Keidar, A Shraer
Information Processing Letters 123, 47-50, 2017
9*2017
Quick: a queuing system in cloudkit
K Lev-Ari, Y Tian, A Shraer, C Douglas, H Fu, A Andreev, K Beranek, ...
Proceedings of the 2021 International Conference on Management of Data, 2517 …, 2021
22021
Weighted auto-sharding
A Shraer, LEVARI Kfir, AA Merchant, V Khemani, A Adya
US Patent App. 18/500,966, 2024
2024
Ordered Sequential Consistency: Composition and Correctness
K Lev-Ari
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–12