| 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 | 109 | 2016 |
| 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 |
| Fairledger: A fair blockchain protocol for financial institutions K Lev-Ari, A Spiegelman, I Keidar, D Malkhi arXiv preprint arXiv:1906.03819, 2019 | 59 | 2019 |
| 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 | 36 | 2016 |
| 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 | 24 | 2019 |
| On correctness of data structures under reads-write concurrency K Lev-Ari, G Chockler, I Keidar International Symposium on Distributed Computing, 273-287, 2014 | 21 | 2014 |
| 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 | 19 | 2015 |
| Weighted auto-sharding A Shraer, LEVARI Kfir, AA Merchant, V Khemani, A Adya US Patent 10,530,844, 2020 | 10 | 2020 |
| Composing ordered sequential consistency K Lev-Ari, E Bortnikov, I Keidar, A Shraer Information Processing Letters 123, 47-50, 2017 | 10 | 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 | 2 | 2021 |
| Weighted auto-sharding A Shraer, LEVARI Kfir, AA Merchant, V Khemani, A Adya US Patent App. 18/500,966, 2024 | | 2024 |
| 23rd International Conference on Principles of Distributed Systems (OPODIS 2019) R Guerraoui, K Censor-Hillel, H Pozidis, K Lev-Ari, A Spiegelman, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020 | | 2020 |
| LIPIcs, Vol. 153, OPODIS 2019, Complete Volume}} P Felber, R Friedman, S Gilbert, A Miller, R Guerraoui, K Censor-Hillel, ... 23rd International Conference on Principles of Distributed Systems (OPODIS …, 2019 | | 2019 |
| Ordered Sequential Consistency: Composition and Correctness K Lev-Ari | | |
Idit KeidarProfessor, TechnionVerified email at ee.technion.ac.il
