3 papers
cs.DC2020
Intermediate Value Linearizability: A Quantitative Correctness Criterion
Arik Rinberg, Idit Keidar
Big data processing systems often employ batched updates and data sketches to estimate certain properties of large data. For example, a CountMin sketch approximates the frequencies…
cs.DC2019
ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication
Alexander Spiegelman, Arik Rinberg
With the emergence of cross-organization attack-prone byzantine fault-tolerant (BFT) systems, so-called Blockchains, providing asynchronous state machine replication (SMR) solution…
cs.DS2019
Fast Concurrent Data Sketches
Arik Rinberg, Alexander Spiegelman, Edward Bortnikov +4
Data sketches are approximate succinct summaries of long streams. They are widely used for processing massive amounts of data and answering statistical queries about it in real-tim…