Demo Data from EDBT 2026 / reviewers in the wild / expert
Kfir Lev-Ari
dblp:151/5602
· DBLP profile ↗
8ranked-venue papers
6as first author
1since 2021 · last 2021
0000-0002-7238-0554ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Databases, data management, data science and information retrieval · 3 · 2 first-author · 1 since 2021Systems, architecture and hardware · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1Theory of computation · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
4 papers |
Cloud and datacenter computing · 50% Distributed systems · 50% | |
| Databases, data mining, and information retrieval
1 paper |
Database system architecture and tuning · 50% Indexing and storage engines · 50% |
Topics — the 7 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Indexing and storage engines
secondary index |
0.4 | 1 | 2019 | FoundationDB Record Layer: A Multi-Tenant Structured Datastore · SIGMOD Conference 2019 |
Cloud and datacenter computing
cluster resource management and scheduling |
0.2 | 1 | 2016 | Slicer: Auto-Sharding for Datacenter Applications · OSDI 2016 |
Distributed systems › distributed coordination
coordination service |
0.2 | 1 | 2016 | Modular Composition of Coordination Services · USENIX ATC 2016 |
Distributed systems
distributed coordination |
0.2 | 1 | 2016 | Modular Composition of Coordination Services · USENIX ATC 2016 |
Cloud and datacenter computing › multi-tenancy
tenant isolation |
0.1 | 1 | 2021 | QuiCK: A Queuing System in CloudKit · SIGMOD Conference 2021 |
Distributed systems
replication |
0.1 | 1 | 2016 | Slicer: Auto-Sharding for Datacenter Applications · OSDI 2016 |
Distributed systems › distributed database
sharding |
0.1 | 1 | 2016 | Slicer: Auto-Sharding for Datacenter Applications · OSDI 2016 |
Methods — techniques the papers use, named apart from their topics
schema management · 0.8indexing · 0.8two-level sharding · 0.5FoundationDB Record Layer · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | QuiCK: A Queuing System in CloudKitabstractWe present QuiCK, a queuing system built for managing asynchronous tasks in CloudKit, Apple's storage backend service. QuiCK stores queued messages along with user data in CloudKit, and supports CloudKit's tenancy model including isolation, fair resource allocation, observability, and tenant migration. QuiCK is built on the FoundationDB Record Layer, an open source transactional DBMS. It employs massive two-level sharding, with tens of billions of queues on the first level (separately storing the queued items for each user of every CloudKit app), and hundreds of queues on a second level (one per FoundationDB cluster used by CloudKit). Our evaluation demonstrates that QuiCK scales linearly with additional consumer resources, effectively avoids contention, provides fairness across CloudKit tenants, and executes deferred tasks with low latency. Kfir Lev-Ari, Yizuo Tian, Alexander Shraer, Chris Douglas, Andrey Andreev, Kevin Beranek, Scott Dugas, Alec Grieser, Jeremy Hemmo |
SIGMOD Conference | 1 |
| 2019 | FairLedger: A Fair Blockchain Protocol for Financial InstitutionsabstractFinancial institutions are currently looking into technologies for permissioned blockchains. A major effort in this direction is Hyperledger, an open source project hosted by the Linux Foundation and backed by a consortium of over a hundred companies. A key component in permissioned blockchain protocols is a byzantine fault tolerant (BFT) consensus engine that orders transactions. However, currently available BFT solutions in Hyperledger (as well as in the literature at large) are inadequate for financial settings; they are not designed to ensure fairness or to tolerate selfish behavior that arises when financial institutions strive to maximize their own profit. We present FairLedger, a permissioned blockchain BFT protocol, which is fair, designed to deal with rational behavior, and, no less important, easy to understand and implement. The secret sauce of our protocol is a new communication abstraction, called detectable all-to-all (DA2A), which allows us to detect participants (byzantine or rational) that deviate from the protocol, and punish them. We implement FairLedger in the Hyperledger open source project, using Iroha framework, one of the biggest projects therein. To evaluate FairLegder's performance, we also implement it in the PBFT framework and compare the two protocols. Our results show that in failure-free scenarios FairLedger achieves better throughput than both Iroha's implementation and PBFT in wide-area settings. Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi |
OPODIS | 1 |
| 2019 | FoundationDB Record Layer: A Multi-Tenant Structured DatastoreabstractThe FoundationDB Record Layer is an open source library that provides a record-oriented data store with semantics similar to a relational database implemented on top of FoundationDB, an ordered, transactional key-value store. The Record Layer provides a lightweight, highly extensible way to store structured data. It offers schema management and a rich set of query and indexing facilities, some of which are not usually found in traditional relational databases, such as nested record types, indexes on commit versions, and indexes that span multiple record types. The Record Layer is stateless and built for massive multi-tenancy, encapsulating and isolating all of a tenant's state, including indexes, into a separate logical database. We demonstrate how the Record Layer is used by CloudKit, Apple's cloud backend service, to provide powerful abstractions to applications serving hundreds of millions of users. CloudKit uses the Record Layer to host billions of independent databases, many with a common schema. Features provided by the Record Layer enable CloudKit to provide richer APIs and stronger semantics with reduced maintenance overhead and improved scalability. Christos Chrysafis, Ben Collins, Scott Dugas, Jay Dunkelberger, Moussa Ehsan, Scott Gray, Alec Grieser, Ori Herrnstadt, Kfir Lev-Ari, Mike McMahon, Nicholas Schiefer, Alexander Shraer |
SIGMOD Conference | 9 |
| 2017 | Composing ordered sequential consistency
Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer |
Inf. Process. Lett. | 1 |
| 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 |
OSDI | 15 |
| 2016 | Modular Composition of Coordination Services
Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer |
USENIX ATC | 1 |
| 2015 | A Constructive Approach for Proving Data Structures' Linearizability
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar |
DISC | 1 |
| 2014 | On Correctness of Data Structures under Reads-Write Concurrency
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar |
DISC | 1 |