Publications
Dissertation, refereed papers, workshops, posters, and public drafts.
Dissertation
-
Resilient Microservice Applications, By Design, and without the Chaos Ph.D. dissertation, Software and Societal Systems, Carnegie Mellon University (2024) [PDF]
Conferences
-
Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp The 27th International Symposium on Principles and Practice of Declarative Programming (PPDP '25) [ACM]
-
Method Overloading the Circuit Proceedings of the ACM Symposium on Cloud Computing (SoCC '22) [preprint]
-
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) [USENIX]
-
Practical Evaluation of the Lasp Programming Model at Large Scale The 19th International Symposium on Principles and Practice of Declarative Programming (PPDP '17) [preprint]
-
Lasp: A Language for Distributed, Coordination-Free Programming The 17th International Symposium on Principles and Practice of Declarative Programming (PPDP '15) [preprint][ACM]
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) [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]
-
Towards A Systems Approach To Distributed Programming OBT 2018, colocated with POPL 2018
-
On the Design of Distributed Programming Models PMLDC 2018, colocated with ECOOP 2018
-
Loquat: A Framework for Large-Scale Actor Communication on Edge Networks The First International Workshop on Smart Edge Computing and Networking (SmartEdge '17) [preprint]
-
Dynamic Path Contraction for Distributed Dataflow Languages AGERE 2016, colocated with SPLASH 2016
-
Worlds of Events: Deduction with Partial Knowledge about Causality. 9th Interaction and Concurrency Experience Satellite Workshop of DisCoTec 2016
-
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 [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]
Preprints & drafts
-
Distributed Execution Indexing Sep 2022 [arXiv]
-
Towards A Systems Approach To Distributed Programming Feb 2018 [arXiv]
-
Partisan: Enabling cloud-scale erlang applications Feb 2018 [arXiv]
-
Just-Right Consistency: reconciling availability and safety Jan 2018 [arXiv]
-
On the Design of Distributed Programming Models Feb 2017 [arXiv]
-
Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages Sep 2016 [arXiv]
-
Declarative, Secure, Convergent Edge Computation Nov 2015 [arXiv]
-
A Certain Tendency Of The Database Community Oct 2015 [arXiv]
-
Vector Clocks in Coq: An Experience Report Jun 2014 [arXiv]