SyncFree

Research related to the SyncFree project on large-scale synchronization-free computation.

Reading Lists

Reading lists on computer science related topics.

Verified Vector Clocks

Work towards creating a verified vector clock library in Coq, exported to Erlang for use in Riak.

Uncategorized

Various uncategorized blog posts.

Bio

Christopher Meiklejohn is a Senior Software Engineer with Basho Technologies, Inc. and a contributing member of the European research project, SyncFree.