Publications
Research papers, dissertation, workshops, demonstrations, posters, retrospective, talk abstracts, and public drafts.
Preprints and presentations are grouped with related papers where applicable. Journal extensions and historical versions are labeled below.
Dissertation
-
Resilient Microservice Applications, by Design, and without the Chaos Ph.D. dissertation, Software and Societal Systems, Carnegie Mellon University (2024) [PDF][CMU]
Conference & journal papers
-
Netherite: efficient execution of serverless workflows The VLDB Journal, Vol. 34, article 25 (2025); extended journal version of the 2022 PVLDB paper [Springer]
-
Method overloading the circuit Proceedings of the ACM Symposium on Cloud Computing (SoCC '22) [preprint][DOI]
-
Netherite: Efficient Execution of Serverless Workflows Proceedings of the VLDB Endowment, Vol. 15, No. 8 (VLDB '22) [VLDB]
-
Service-Level Fault Injection Testing Proceedings of the ACM Symposium on Cloud Computing (SoCC '21) [preprint][ACM]
-
Durable Functions: Semantics for Stateful Serverless Proceedings of the ACM on Programming Languages, Issue OOPSLA (OOPSLA '21) [ACM]
-
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications Proceedings of the VLDB Endowment, Vol. 13, No. 5 (VLDB '20) [Microsoft]
-
Composing and Decomposing Op-Based CRDTs with Semidirect Products Proceedings of the ACM on Programming Languages, Volume 4, Issue ICFP (ICFP '20) [ACM]
-
Partisan: Scaling the Distributed Actor Runtime The 19th USENIX Annual Technical Conference (ATC '19); earlier preprint with Heather Miller, Feb 2018 [USENIX][related preprint]
-
Practical evaluation of the Lasp programming model at large scale: an experience report The 19th International Symposium on Principles and Practice of Declarative Programming (PPDP '17) [preprint][DOI]
-
Lasp: A Language for Distributed, Coordination-Free Programming The 17th International Symposium on Principles and Practice of Declarative Programming (PPDP '15) [preprint][ACM]
Demonstration papers
-
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization ICSE '24 Companion, Demonstrations, pp. 54–58 (2024) [DOI][preprint]
Workshops
-
Composing and decomposing op-based CRDTs with semidirect products: (summary) Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '20); two-page summary of the ICFP 2020 paper [ACM]
-
Towards a Solution to the Red Wedding Problem The First Workshop on Hot Topics in Edge Computing (HotEdge '18), colocated with ATC '18 [preprint][USENIX]
-
Partisan: Enabling Real-World Protocol Evaluation The 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems, colocated with PODC '18 [ACM]
-
On the Design of Distributed Programming Models PMLDC '17, colocated with ECOOP 2017; preprint submitted Jan 2017 [preprint][DOI]
-
A Certain Tendency Of The Database Community Salon des Refusés 2017, Programming '17 Companion, pp. 1–5 (2017); earlier preprint, Oct 2015 [arXiv][DOI][program]
-
Loquat: A Framework for Large-Scale Actor Communication on Edge Networks The First International Workshop on Smart Edge Computing and Networking (SmartEdge '17) [preprint][DOI]
-
Worlds of Events: Deduction with Partial Knowledge about Causality ICE 2016; Electronic Proceedings in Theoretical Computer Science, Vol. 223, pp. 113–127 (2016) [DOI]
-
Towards Property-Based Consistency Verification PaPoC '16, colocated event at ACM EuroSys '16 [EURECOM]
-
Declarative, Sliding Window Aggregations for Computations at the Edge 1st International Workshop on Edge Computing, EdgeCom 2016, colocated event at CCNC 2016 [preprint]
-
Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation Workshop on Planetary-Scale Distributed Systems, colocated event at SRDS '15 [preprint]
-
The Implementation and Use of a Generic Dataflow Behaviour in Erlang ACM SIGPLAN Erlang Workshop '15, colocated event at ICFP '15 [preprint][ACM]
-
Lasp: A Language for Distributed, Eventually Consistent Computations with CRDTs PaPoC '15, colocated event at ACM EuroSys '15 [ACM]
-
Eventual Consistency and Deterministic Dataflow Programming: A Case Study of Integrating Derflow with the Riak Data Store LADIS Workshop '14 (2014); workshop manuscript [preprint][slides]
-
Derflow: distributed deterministic dataflow programming for erlang ACM SIGPLAN Erlang Workshop '14, colocated event at ICFP '14 [ACM][slides]
-
On The Composability of the Riak DT Map: Expanding From Embedded To Multi-Key Structures PaPEC '14, colocated event at ACM EuroSys '14 [ACM][slides]
-
Riak DT Map: A Composable, Convergent Replicated Dictionary PaPEC '14, colocated event at ACM EuroSys '14 [ACM]
-
Riak PG: distributed process groups on dynamo-style distributed storage ACM SIGPLAN Erlang Workshop '13, colocated event at ICFP '13 [ACM][slides]
Posters
-
Augmented Inverted Indexes to Track Causality in Eventually Consistent Data Stores Middleware '14, Demos & Poster Session [ACM]
Award retrospective
-
Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp PPDP '25, pp. 1–3 (2025); retrospective accompanying the 10 Year Most Influential Paper Award for Lasp (2015) [ACM][program]
Talk abstracts & workshop presentations
-
Towards A Systems Approach To Distributed Programming OBT 2018 workshop abstract / presentation, colocated with POPL 2018; related preprint, Feb 2018 [related preprint][program]
-
Dynamic Path Contraction for Distributed Dataflow Languages AGERE 2016 workshop presentation, colocated with SPLASH 2016; related work-in-progress report, Sep 2016 [related preprint][program]
-
Lasp: A Model For Distributed, Convergent, Edge Computation Applicative 2016, p. 40 (2016); one-page talk abstract [DOI]
Preprints & drafts
-
Collabs: Composable Collaborative Data Structures Historical preprint, arXiv v1, Dec 2022; the revised v2 (2023) has a different title and author list and does not include Christopher [arXiv v1]
-
Distributed Execution Indexing Work-in-progress report, Sep 2022 [arXiv]
-
Just-Right Consistency: reconciling availability and safety Preprint submitted Jan 2018 [arXiv]
-
Declarative, Secure, Convergent Edge Computation Preprint submitted Dec 2015 [arXiv]
-
Vector Clocks in Coq: An Experience Report Preprint submitted Jun 2014 [arXiv]