Kfir Lev-Ari

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 9

Top Topics

Financial Institutions

Top Venues

SIGMOD Conference

USENIX Annual Technical Conference

Publications

Kfir Lev-Ari, Yizuo Tian, Alexander Shraer, Chris Douglas, Hao Fu, Andrey Andreev, Kevin Beranek, Scott Dugas, Alec Grieser, Jeremy Hemmo
QuiCK: A Queuing System in CloudKit. SIGMOD Conference (2021)
Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
FairLedger: A Fair Blockchain Protocol for Financial Institutions. CoRR (2019)
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
FoundationDB Record Layer: A Multi-Tenant Structured Datastore. CoRR (2019)
Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
FairLedger: A Fair Blockchain Protocol for Financial Institutions. OPODIS (2019)
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
FoundationDB Record Layer: A Multi-Tenant Structured Datastore. SIGMOD Conference (2019)
Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer
Composing ordered sequential consistency. Inf. Process. Lett. 123 (2017)
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
Slicer: Auto-Sharding for Datacenter Applications. OSDI (2016)
Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer
Modular Composition of Coordination Services. USENIX Annual Technical Conference (2016)
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
A Constructive Approach for Proving Data Structures' Linearizability. DISC (2015)
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
On Correctness of Data Structures under Reads-Write Concurrency. DISC (2014)