Kfir Lev-Ari

According to our database, Kfir Lev-Ari authored at least 8 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

QuiCK: A Queuing System in CloudKit.

Kfir Lev-Ari, Yizuo Tian, Alexander Shraer, Chris Douglas, Hao Fu, Andrey Andreev, Kevin Beranek, Scott Dugas, Alec Grieser, Jeremy Hemmo

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2019

FoundationDB Record Layer: A Multi-Tenant Structured Datastore.

Christos Chrysafis, Ben Collins, Scott Dugas, Jay Dunkelberger, Moussa Ehsan, Scott Gray, Alec Grieser, Ori Herrnstadt, Kfir Lev-Ari, Tao Lin, Mike McMahon, Nicholas Schiefer, Alexander Shraer

Proceedings of the 2019 International Conference on Management of Data, 2019

FairLedger: A Fair Blockchain Protocol for Financial Institutions.

Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi

Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

2017

Composing ordered sequential consistency.

Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer

Inf. Process. Lett., 2017

2016

Modular Composition of Coordination Services.

Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Slicer: Auto-Sharding for Datacenter Applications.

Atul Adya, Daniel Myers, Jon Howell, Jeremy Elson, Colin Meek, Vishesh Khemani, Stefan Fulger, Pan Gu, Lakshminath Bhuvanagiri, Jason Hunter, Roberto Peon, Larry Kai, Alexander Shraer, Arif Merchant, Kfir Lev-Ari

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

A Constructive Approach for Proving Data Structures' Linearizability.

Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar

Proceedings of the Distributed Computing - 29th International Symposium, 2015

2014

On Correctness of Data Structures under Reads-Write Concurrency.

Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar

Proceedings of the Distributed Computing - 28th International Symposium, 2014