research
∙
08/19/2022
Quancurrent: A Concurrent Quantiles Sketch
Sketches are a family of streaming algorithms widely used in the world o...
share
research
∙
06/23/2020
Intermediate Value Linearizability: A Quantitative Correctness Criterion
Big data processing systems often employ batched updates and data sketch...
research
∙
11/24/2019
ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication
With the emergence of cross-organization attack-prone byzantine fault-to...
research
∙
02/28/2019