10 citations · 40 across the 14 of their papers we have counts for
15 papers
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization
Michael Assad, Christopher Meiklejohn, Heather Miller +1
In microservice applications, ensuring resilience during database or service disruptions constitutes a significant challenge. While several tools address resilience testing for ser…
Collabs: A Flexible and Performant CRDT Collaboration Framework
Matthew Weidner, Huairui Qi, Maxime Kjaer +7
A collaboration framework is a distributed system that serves as the data layer for a collaborative app. Conflict-free Replicated Data Types (CRDTs) are a promising theoretical tec…
Distributed Execution Indexing
Christopher S. Meiklejohn, Rohan Padhye, Heather Miller
This work-in-progress report presents both the design and partial evaluation of distributed execution indexing, a technique for microservice applications that precisely identifies…
Serverless Workflows with Durable Functions and Netherite
Sebastian Burckhardt, Chris Gillum, David Justo +3
Serverless is an increasingly popular choice for service architects because it can provide elasticity and load-based billing with minimal developer effort. A common and important u…
Composing and Decomposing Op-Based CRDTs with Semidirect Products
Matthew Weidner, Heather Miller, Christopher Meiklejohn
Operation-based Conflict-free Replicated Data Types (CRDTs) are eventually consistent replicated data types that automatically resolve conflicts between concurrent operations. Op-b…
Towards A Systems Approach To Distributed Programming
Christopher S. Meiklejohn, Peter Van Roy
It is undeniable that most developers today are building distributed applications. However, most of these applications are developed by composing existing systems together through…
Partisan: Enabling Cloud-Scale Erlang Applications
Christopher Meiklejohn, Heather Miller
In this work, we present an alternative distribution layer for Erlang, named Partisan. Partisan is a topology-agnostic distributed programming model and distribution layer that sup…
Just-Right Consistency: reconciling availability and safety
Marc Shapiro, Annette Bieniusa, Nuno Preguiça +2
By the CAP Theorem, a distributed data storage system can ensure either Consistency under Partition (CP) or Availability under Partition (AP), but not both. This has led to a split…
Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo +3
Programming models for building large-scale distributed applications assist the developer in reasoning about consistency and distribution. However, many of the programming models f…
On the Design of Distributed Programming Models
Christopher S. Meiklejohn
Programming large-scale distributed applications requires new abstractions and models to be done well. We demonstrate that these models are possible. Following from both the FLP re…
Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages
Borja Arnau de Régil Basáñez, Christopher S. Meiklejohn
We present a work in progress report on applying deforestation to distributed, dynamic dataflow programming models. We propose a novel algorithm, dynamic path contraction, that app…
Worlds of Events: Deduction with Partial Knowledge about Causality
Seyed Hossein Haeri, Peter Van Roy, Carlos Baquero +1
Interactions between internet users are mediated by their devices and the common support infrastructure in data centres. Keeping track of causality amongst actions that take place…
Declarative, Secure, Convergent Edge Computation
Christopher Meiklejohn
Eventual consistency is a more natural model than strong consistency for a distributed system, since it is closer to the underlying physical reality. Therefore, we propose that it…
A Certain Tendency Of The Database Community
Christopher S. Meiklejohn
We posit that striving for distributed systems that provide "single system image" semantics is fundamentally flawed and at odds with how systems operate in the physical world. We r…
Vector Clocks in Coq: An Experience Report
Christopher Meiklejohn
This report documents the process of implementing vector clocks in the Coq proof assistant for extraction and use in the distributed Dynamo-inspired data store, Riak. In this repor…