On Correctness of Data Structures under Reads-Write Concurrency. - Kfir Lev-Ari; Gregory V. Chockler; Idit Keidar (DISC, 2014)

A Constructive Approach for Proving Data Structures' Linearizability. - Kfir Lev-Ari; Gregory V. Chockler; Idit Keidar (DISC, 2015)

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; et al. (OSDI, 2016)

Modular Composition of Coordination Services. - Kfir Lev-Ari; Edward Bortnikov; Idit Keidar; Alexander Shraer (USENIX ATC, 2016)

Composing ordered sequential consistency. - Kfir Lev-Ari; Edward Bortnikov; Idit Keidar; Alexander Shraer (Inf. Process. Lett., 2017)

FairLedger: A Fair Blockchain Protocol for Financial Institutions. - Kfir Lev-Ari; Alexander Spiegelman; Idit Keidar; Dahlia Malkhi (OPODIS, 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; et al. (SIGMOD Conference, 2019)

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 (SIGMOD Conference, 2021)