Staff Software Engineer · DoorDash   /   Adjunct Faculty · CMU

I take distributed systems from research to production.

Ph.D. in Software Engineering · Carnegie Mellon, 2024

I created Filibuster, co-created Lasp, and built Partisan, adopted by LeapSight for LoJack LATAM’s vehicle-recovery platform. At Microsoft Research, I co-developed the model behind Azure Durable Entities.

Read my full CV PDF ↗ Let’s talk
From the workshop to the world ↓
Building nowStaff Software Engineer · DoorDash

Technical lead and co-designer of the unified ordering platform for DoorDash, Wolt, and Deliveroo, targeting multi-region, active-active operation.

Teaching nowAdjunct Faculty · Carnegie Mellon

Software and Societal Systems. Teaching guest lectures on deploying safely, microservice resilience, and AI-assisted development.

300,000 vehiclesLoJack LATAM adopted Partisan. Its platform handled 30M+ GPS transmissions/day (2022). 10 years of influenceLasp received PPDP’s 2025 Ten Year Most Influential Paper Award. Still used across AWSPObserve grew from my internship research. My mentor reports bugs found beyond testing.

Selected work

What happened after the paper.

Research I created.
Systems people use.

Lasp & Partisan

From a programming model to LoJack.

PPDP 2025
10 Year Most Influential Paper Award

  1. The research

    Lasp

    Co-created Lasp’s coordination-free programming model with Peter Van Roy; implemented its Erlang prototype.

  2. The system

    Partisan

    Built the communication runtime to scale Lasp.

  3. Production use

    LoJack LATAM

    LeapSight adopted Partisan for its vehicle-recovery platform.

1,024 Erlang nodesLasp evaluation on AWS
while contracting at Mesosphere
300,000 vehiclesLoJack LATAM platform · 2022
30M+ GPS transmissions/day

Also adopted by BarrelDB. Ported Riak Core to Partisan while consulting for LeapSight.

Lasp paper ↗Partisan · ATC ’19 ↗The production handoff →

Microsoft Research

A programming model that reached Azure.

Co-developed with Sebastian Burckhardt.

  1. The research

    Programming model

    Co-developed the model for stateful serverless applications.

  2. The prototype

    ReactiveMachine

    Co-developed its research implementation.

  3. Production use

    Azure Durable Entities

    The programming model reached the Azure platform.

In an earlier MSR internship, co-implemented transactions that shipped in Orleans.

Co-author: Durable Functions and both Netherite papers.

Durable Functions · OOPSLA ’21 ↗Netherite · PVLDB ’22 ↗Netherite · VLDB Journal ’25 ↗Building with Durable Entities →
Durable execution today

AWS Lambda also now offers durable execution.

Filibuster & DoorDash

Research into practice.
Then back into research.

  1. The research

    Filibuster

    Created Filibuster for systematic microservice fault injection.

  2. Industry use

    DoorDash

    Intern: Kotlin/gRPC concurrency & instrumentation.
    Contractor: tested DashPass.

  3. New research

    Follow-on papers

    Circuit breakers, execution indexing, and mentored database-resilience research.

Real-service constraints shaped the next algorithms and student research.

Internship implementation

Adapted the algorithms for Kotlin/gRPC concurrency and built instrumentation that didn’t require application changes.

Filibuster · SoCC ’21 ↗Circuit breakers · SoCC ’22 ↗Execution indexing ↗Database resilience · ICSE Companion ’24 ↗DoorDash engineering ↗Building Filibuster 2.0 →

More research in practice

Built, tested, put to use.

Databases. Replication.
Verification. Production systems.

  • Amazon Web ServicesPObserve · 2020 internship

    Runtime monitoring still used across AWS

    Developed PObserve’s foundation. Mentor Ankush Desai reports continued AWS use and bugs missed by testing.

    Ankush Desai on PObserve ↗

  • Basho / RiakReplication · CRDTs · operations

    Supported League of Legends in production

    Supported Riot Games, maintained replication and CRDT internals, and built QuickCheck models under John Hughes.

    Co-author · Riak DT Map ↗

  • National Health ServiceRiak consulting · 2018–2019

    Database compatibility & release tooling

    Updated OTP 20 compatibility and release tooling; addressed deprecation warnings.

  • Machine ZoneErlang · formal analysis

    Chain replication, from design to analysis

    Designed and co-implemented the protocol; analyzed correctness with Maurice Herlihy using formal verification.

  • MacrometaConsulting Scientist · C8DB

    Geo-replication & failover testing

    Analyzed transaction semantics, documented CRDT merging and garbage collection, and built property-based failover tests.

    Presented joint work · HPTS 2019 ↗

  • VeritasDistributed database infrastructure

    Ph.D. research → database transport

    Built the communication layer; developed property-based tests for network partitions and quorum reads and writes.

Collaboration & teaching

Industry collaborations and teaching.

My SyncFree research connected academic groups with Basho, Trifork, Rovio, and Erlang Solutions. I contributed to the successful €3.57M LightKone consortium proposal for edge computing.

At CMU, I teach how to deploy safely and reason about microservice failures. I mentored Lydia Stark’s circuit-breaker research, published at SoCC 2022, and Michael Issac Assad’s database-resilience and developer-tooling research, published as an ICSE 2024 tool demonstration. Earlier, I co-mentored a Google Summer of Code project that led to an AGERE 2016 paper.

LightKone ↗Teaching & lectures →

From the blog

Latest writing

All posts →

Some of the most-read posts

By recorded page views, January 2023–October 2026.

9,570 viewsReadings in distributed systems

A reading list organized around how ideas in distributed computing developed.

 7,601 viewsTeaching Claude to QA a Mobile App

Getting automated testing across the awkward boundary between web and native apps.

 3,567 viewsSoftware Engineering Is Becoming Civil Engineering

A conversation after a CMU lecture, and what changes when design separates from construction.

 12,094 viewsRift

Thirty years of programming with Phish on, and a change in how the work feels.

Full publication record →Blog & archive →

Research & engineering

Let’s talk about the systems
you’re trying to build.

I’m interested in roles where I can develop the research and help turn it into something people can use. If that’s the problem you’re hiring for, I’d like to talk.

Get in touch Full CV · highlights + complete chronology ↗