Posts

A series on making the Paxos protocol incorrect. Part I explains why we would want to do that.
3 min read

An introduction to causal consistency and causal stability.
5 min read

This is a transcript of the ICDE’19 talk, briefly explaining the main idea behind the paper.
11 min read

Conflict-freeness is not always natural, and sometimes CRDTs need to force it.
3 min read

Unions and intersections can be generalized. This post describes my quest on finding the name of that generalization.
4 min read

1 min read