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.

Today I finally spent some time setting up a personal website.