Christopher Meiklejohn

28 papers C 2Journal 10Unranked 14
YearRankTypeTitle / Venue / Authors
2025 C conf
Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp.
PPDP
Christopher Meiklejohn, Peter Van Roy
2024 J jnl
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization.
CoRR
Michael Assad, Christopher Meiklejohn, Heather Miller, Stephan Krusche
2024 — —
Resilient Microservice Applications, by Design, and without the Chaos
Christopher Meiklejohn
2022 J jnl
Collabs: Composable Collaborative Data Structures.
CoRR
Matthew Weidner, Heather Miller, Huairui Qi, Maxime Kjaer, Ria Pradeep, Benito Geordie, Christopher Meiklejohn
2022 — conf
Method overloading the circuit.
SoCC
Christopher Meiklejohn, Lydia Stark, Cesare Celozzi, Matt Ranney, Heather Miller
2022 J jnl
Netherite: Efficient Execution of Serverless Workflows.
Proc. VLDB Endow.
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher Meiklejohn, Xiangfeng Zhu
2020 J jnl
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications.
Proc. VLDB Endow.
Jonathan Goldstein, Ahmed S. Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Peshawaria, Tal Zaccai, Irene Zhang
2020 J jnl
Composing and Decomposing Op-Based CRDTs with Semidirect Products.
CoRR
Matthew Weidner, Heather Miller, Christopher Meiklejohn
2020 J jnl
Composing and decomposing op-based CRDTs with semidirect products.
Proc. ACM Program. Lang.
Matthew Weidner, Heather Miller, Christopher Meiklejohn
2020 — conf
Composing and decomposing op-based CRDTs with semidirect products: (summary).
PaPoC@EuroSys
Matthew Weidner, Heather Miller, Christopher Meiklejohn
2018 J jnl
Just-Right Consistency: reconciling availability and safety.
CoRR
Marc Shapiro, Annette Bieniusa, Nuno M. Preguiça, Valter Balegas, Christopher Meiklejohn
2018 J jnl
Partisan: Enabling Cloud-Scale Erlang Applications.
CoRR
Christopher Meiklejohn, Heather Miller
2018 — conf
Towards a Solution to the Red Wedding Problem.
HotEdge
Christopher Meiklejohn, Heather Miller, Zeeshan Lakhani
2017 — ed.
Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017
PMLDC@ECOOP
Christopher Meiklejohn, Heather Miller
2016 — conf
Declarative, sliding window aggregations for computations at the edge.
CCNC
Christopher Meiklejohn, Seyed H. Haeri, Peter Van Roy
2016 — conf
Towards property-based consistency verification.
PaPoC@EuroSys
Paolo Viotti, Christopher Meiklejohn, Marko Vukolic
2016 — conf
Worlds of Events: Deduction with Partial Knowledge about Causality.
ICE
Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn
2015 J jnl
Declarative, Secure, Convergent Edge Computation.
CoRR
Christopher Meiklejohn
2015 C conf
Lasp: a language for distributed, coordination-free programming.
PPDP
Christopher Meiklejohn, Peter Van Roy
2015 — conf
Lasp: a language for distributed, eventually consistent computations with CRDTs.
PaPoC@EuroSys
Christopher Meiklejohn, Peter Van Roy
2015 — conf
Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation.
SRDS Workshop
Christopher Meiklejohn, Peter Van Roy
2015 — conf
The implementation and use of a generic dataflow behaviour in Erlang.
Erlang Workshop
Christopher Meiklejohn, Peter Van Roy
2014 — conf
Augmented inverted indexes to track causality in eventually consistent data stores.
Middleware (Posters & Demos)
Christopher Meiklejohn
2014 — conf
Derflow: distributed deterministic dataflow programming for erlang.
Erlang Workshop
Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn
2014 — conf
On the composability of the Riak DT map: expanding from embedded to multi-key structures.
PaPEC@EuroSys
Christopher Meiklejohn
2014 — conf
Riak DT map: a composable, convergent replicated dictionary.
PaPEC@EuroSys
Russell Brown, Sean Cribbs, Christopher Meiklejohn, Sam Elliott
2014 J jnl
Vector Clocks in Coq: An Experience Report.
CoRR
Christopher Meiklejohn
2013 — conf
Riak PG: distributed process groups on dynamo-style distributed storage.
Erlang Workshop
Christopher Meiklejohn