Newest

Most recent blog posts.

Short Posts, Thoughts, Reflections

Reflections I've had on building research software, industrial software development, in the context of my Ph.D. research.

DoorDash Engineering

Articles I've written for the DoorDash Engineering blog.

Service-level Fault Injection Testing

Articles I've written about Service-level Fault Injection Testing and Filibuster.

Food

Articles I've written about food allergies, intolerances, recipes and general food horror.

Teaching

Articles I've written about teaching.

Macrometa

Articles I've written for the Macrometa blog.

Stateful Serverless

Building stateful serverless solutions.

Partisan

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.

General

Various blog posts.