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

An introduction to causal consistency and causal stability.

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

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

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