Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Kfir Lev-Ari

dblp:151/5602 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Indexing and storage engines
secondary index
0.412019
FoundationDB Record Layer: A Multi-Tenant Structured Datastore · SIGMOD Conference 2019
Cloud and datacenter computing
cluster resource management and scheduling
0.212016
Slicer: Auto-Sharding for Datacenter Applications · OSDI 2016
Distributed systems › distributed coordination
coordination service
0.212016
Modular Composition of Coordination Services · USENIX ATC 2016
Distributed systems
distributed coordination
0.212016
Modular Composition of Coordination Services · USENIX ATC 2016
Cloud and datacenter computing › multi-tenancy
tenant isolation
0.112021
QuiCK: A Queuing System in CloudKit · SIGMOD Conference 2021
Distributed systems
replication
0.112016
Slicer: Auto-Sharding for Datacenter Applications · OSDI 2016
Distributed systems › distributed database
sharding
0.112016
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
YearPublicationVenuePosition
2021 QuiCK: A Queuing System in CloudKit
abstract
We 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 Conference1
2019 FairLedger: A Fair Blockchain Protocol for Financial Institutions
abstract
Financial 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
OPODIS1
2019 FoundationDB Record Layer: A Multi-Tenant Structured Datastore
abstract
The 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 Conference9
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
OSDI15
2016 Modular Composition of Coordination Services
Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer
USENIX ATC1
2015 A Constructive Approach for Proving Data Structures' Linearizability
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
DISC1
2014 On Correctness of Data Structures under Reads-Write Concurrency
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
DISC1