Distinguished paper and artefact award

The paper “Verifying strong eventual consistency in distributed systems” and the accompanying Isabelle formalisation has been honoured with two separate awards at the OOPSLA/SPLASH conference:

  1. A distinguished paper award for the paper itself.
  2. A distinguished artefact award for the Isabelle formalisation accompanying the work (5 out of 34 artefacts granted a distinction).

This was joint work with Victor Gomes, Martin Kleppmann, and Alastair Beresford.