Explore projects

A Critique of the CAP Theorem (2015)

Entry for Apache Samza in the Encyclopedia of Big Data Technologies (Springer, 2018)

Extended abstract for MobiUK 2018 (Automerge: Real-time data sync between edge devices)

From Secure Messaging to Secure Collaboration (Security Protocols Workshop 2018)

Experimental CRDT implementation and command-line text editor in Ruby

Experimental WebSocket server backed by Kafka

Tests of interleaving inserts in several text editing CRDTs

A Conflict-Free Replicated JSON Datatype (IEEE Transactions on Parallel and Distributed Systems)

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)

WebRTC-based data synchronisation layer for Automerge

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

"OpSets: Sequential Specifications for Replicated Datatypes" and "Interleaving anomalies in collaborative text editors"

Brave Android Browser

Hello world in the rust programming language.

Muscat conversion system

OS map sheet locations

Perl module providing dates relating to University if Cambridge terms

DevOps Division Guidebook

Experiments in implementing Cambridge WebAuth in Go

Templates for GitLab CI.