Sotabase

Career

· Research Associate in the Computer Laboratory, University of Cambridge2015–

Publications (43)

A Conflict-Free Replicated JSON Datatype
IEEE Transactions on Parallel and Distributed Systems · 2016
108
cited
Local-first software: you own your data, in spite of the cloud
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software · 2019
102
cited
Verifying strong eventual consistency in distributed systems
Proc. ACM Program. Lang. · 2017
84
cited
Kafka, Samza and the Unix Philosophy of Distributed Data
IEEE Data Engineering Bulletin · 2015
70
cited
Apache Samza
Encyclopedia of Big Data Technologies · 2019
45
cited
Bluesky and the AT Protocol: Usable Decentralized Social Media
DIN@CoNEXT · 2024
43
cited
A Critique of the CAP Theorem
arXiv.org · 2015
38
cited
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees
IACR Cryptology ePrint Archive · 2021
36
cited
Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases
arXiv.org · 2020
31
cited
Making CRDTs Byzantine fault tolerant
PaPoC@EuroSys · 2022
24
cited
Patterns And Paradigms For Scalable Reliable Services |
2022
23
cited
A highly-available move operation for replicated trees
IEEE Transactions on Parallel and Distributed Systems · 2021
19
cited
Peritext: A CRDT for Collaborative Rich Text Editing
Proc. ACM Hum. Comput. Interact. · 2022
19
cited
PushPin: towards production-quality peer-to-peer collaboration
PaPoC@EuroSys · 2020
15
cited
Moving elements in list CRDTs
PaPoC@EuroSys · 2020
14
cited
Simulation of colliding constrained rigid bodies
2007
13
cited
Interleaving anomalies in collaborative text editors
PaPoC@EuroSys · 2019
12
cited
Online Event Processing
Queue · 2019
12
cited
Making Sense of Stream Processing
2016
11
cited
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
arXiv.org · 2018
10
cited
Sotabase