Christopher Meiklejohn

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 19

Top Topics

Efficient Execution

Partial Knowledge

Coal Mine Safety

Top Venues

Proc. VLDB Endow.

Publications

Michael Assad, Christopher Meiklejohn, Heather Miller, Stephan Krusche
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization. CoRR (2024)
Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher Meiklejohn, Xiangfeng Zhu
Netherite: Efficient Execution of Serverless Workflows. Proc. VLDB Endow. 15 (8) (2022)
Christopher Meiklejohn, Lydia Stark, Cesare Celozzi, Matt Ranney, Heather Miller
Method overloading the circuit. SoCC (2022)
Matthew Weidner, Heather Miller, Huairui Qi, Maxime Kjaer, Ria Pradeep, Benito Geordie, Christopher Meiklejohn
Collabs: Composable Collaborative Data Structures. CoRR (2022)
Matthew Weidner, Heather Miller, Christopher Meiklejohn
Composing and decomposing op-based CRDTs with semidirect products. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Matthew Weidner, Heather Miller, Christopher Meiklejohn
Composing and decomposing op-based CRDTs with semidirect products: (summary). PaPoC@EuroSys (2020)
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
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications. Proc. VLDB Endow. 13 (5) (2020)
Matthew Weidner, Heather Miller, Christopher Meiklejohn
Composing and Decomposing Op-Based CRDTs with Semidirect Products. CoRR (2020)
Christopher Meiklejohn, Heather Miller, Zeeshan Lakhani
Towards a Solution to the Red Wedding Problem. HotEdge (2018)
Marc Shapiro, Annette Bieniusa, Nuno M. Preguiça, Valter Balegas, Christopher Meiklejohn
Just-Right Consistency: reconciling availability and safety. CoRR (2018)
Christopher Meiklejohn, Heather Miller
Partisan: Enabling Cloud-Scale Erlang Applications. CoRR (2018)
Paolo Viotti, Christopher Meiklejohn, Marko Vukolic
Towards property-based consistency verification. PaPoC@EuroSys (2016)
Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn
Worlds of Events: Deduction with Partial Knowledge about Causality. ICE (2016)
Christopher Meiklejohn, Seyed H. Haeri, Peter Van Roy
Declarative, sliding window aggregations for computations at the edge. CCNC (2016)
Christopher Meiklejohn, Peter Van Roy
The implementation and use of a generic dataflow behaviour in Erlang. Erlang Workshop (2015)
Christopher Meiklejohn
Declarative, Secure, Convergent Edge Computation. CoRR (2015)
Christopher Meiklejohn, Peter Van Roy
Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. SRDS Workshop (2015)
Christopher Meiklejohn, Peter Van Roy
Lasp: a language for distributed, eventually consistent computations with CRDTs. PaPoC@EuroSys (2015)
Christopher Meiklejohn, Peter Van Roy
Lasp: a language for distributed, coordination-free programming. PPDP (2015)
Christopher Meiklejohn
Augmented inverted indexes to track causality in eventually consistent data stores. Middleware (Posters & Demos) (2014)
Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn
Derflow: distributed deterministic dataflow programming for erlang. Erlang Workshop (2014)
Christopher Meiklejohn
Vector Clocks in Coq: An Experience Report. CoRR (2014)
Russell Brown, Sean Cribbs, Christopher Meiklejohn, Sam Elliott
Riak DT map: a composable, convergent replicated dictionary. PaPEC@EuroSys (2014)
Christopher Meiklejohn
On the composability of the Riak DT map: expanding from embedded to multi-key structures. PaPEC@EuroSys (2014)
Christopher Meiklejohn
Riak PG: distributed process groups on dynamo-style distributed storage. Erlang Workshop (2013)