Most recent blog posts.


Articles I've written for the Macrometa blog.

Stateful Serverless

Building stateful serverless solutions.


Building the next generation of high-performance, fault-tolerant distributed runtimes.

Programming Models and Languages for Distributed Computing

Work in progress seminar curriculum on distributed computing and programming languages.

SyncFree / Lasp

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.


Various blog posts.