Consistency in non-transactional distributed storage systems

P Viotti, M Vukolić - ACM Computing Surveys (CSUR), 2016 - dl.acm.org
Over the years, different meanings have been associated with the word consistency in the
distributed systems community. While in the'80s “consistency” typically meant strong …

Cloudburst: Stateful functions-as-a-service

V Sreekanti, C Wu, XC Lin, J Schleier-Smith… - arXiv preprint arXiv …, 2020 - arxiv.org
Function-as-a-Service (FaaS) platforms and" serverless" cloud computing are becoming
increasingly popular. Current FaaS offerings are targeted at stateless functions that do …

Datalog and recursive query processing

TJ Green, SS Huang, BT Loo… - Foundations and Trends …, 2013 - nowpublishers.com
In recent years, we have witnessed a revival of the use of recursive queries in a variety of
emerging application domains such as data integration and exchange, information …

Naiad: a timely dataflow system

DG Murray, F McSherry, R Isaacs, M Isard… - Proceedings of the …, 2013 - dl.acm.org
Naiad is a distributed system for executing data parallel, cyclic dataflow programs. It offers
the high throughput of batch processors, the low latency of stream processors, and the ability …

Coordination avoidance in database systems (Extended version)

P Bailis, A Fekete, MJ Franklin, A Ghodsi… - arXiv preprint arXiv …, 2014 - arxiv.org
Minimizing coordination, or blocking communication between concurrently executing
operations, is key to maximizing scalability, availability, and high performance in database …

Replicated data types: specification, verification, optimality

S Burckhardt, A Gotsman, H Yang, M Zawirski - ACM Sigplan Notices, 2014 - dl.acm.org
Geographically distributed systems often rely on replicated eventually consistent data stores
to achieve availability and performance. To resolve conflicting updates at different replicas …

[PDF][PDF] Differential dataflow.

F McSherry, DG Murray, R Isaacs, M Isard - CIDR, 2013 - cs.uwaterloo.ca
Differential Dataflow Page 1 Differential Dataflow McSherry, Frank D., Murray, Derek G.,
Isaacs, Rebecca, Isard, Michael Chathura Kankanamge 08th November 2016 Page 2 Outline …

Big data analytics with datalog queries on spark

A Shkapsky, M Yang, M Interlandi, H Chiu… - Proceedings of the …, 2016 - dl.acm.org
There is great interest in exploiting the opportunity provided by cloud computing platforms
for large-scale analytics. Among these platforms, Apache Spark is growing in popularity for …

Anna: A kvs for any scale

C Wu, JM Faleiro, Y Lin… - IEEE Transactions on …, 2019 - ieeexplore.ieee.org
Modern cloud providers offer dense hardware with multiple cores and large memories,
hosted in global platforms. This raises the challenge of implementing high-performance …

[PDF][PDF] The blockchain consensus layer and BFT

I Abraham, D Malkhi - Bulletin of EATCS, 2017 - eatcs.org
In this paper, we analyze Blockchain consensus protocols in the lens of the foundations of
distributed computing. Our goal is to present analogies and connections between …