Christopher Meiklejohn

According to our database1, Christopher Meiklejohn authored at least 29 papers between 2013 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Serverless Workflows with Durable Functions and Netherite.
CoRR, 2021

2020
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications.
Proc. VLDB Endow., 2020

Composing and decomposing op-based CRDTs with semidirect products.
Proc. ACM Program. Lang., 2020

Composing and decomposing op-based CRDTs with semidirect products: (summary).
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

2019
PARTISAN: Scaling the Distributed Actor Runtime.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

2018
Towards A Systems Approach To Distributed Programming.
CoRR, 2018

Partisan: Enabling Cloud-Scale Erlang Applications.
CoRR, 2018

Just-Right Consistency: reconciling availability and safety.
CoRR, 2018

Partisan: Enabling Real-World Protocol Evaluation.
Proceedings of the 2018 Workshop on Advanced Tools, 2018

Towards a Solution to the Red Wedding Problem.
Proceedings of the USENIX Workshop on Hot Topics in Edge Computing, 2018

2017
On the Design of Distributed Programming Models.
CoRR, 2017

A Certain Tendency Of The Database Community.
Proceedings of the Companion to the first International Conference on the Art, 2017

Practical evaluation of the Lasp programming model at large scale: an experience report.
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

Loquat: A framework for large-scale actor communication on edge networks.
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

2016
Worlds of Events: Deduction with Partial Knowledge about Causality.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages.
CoRR, 2016

Towards property-based consistency verification.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Declarative, sliding window aggregations for computations at the edge.
Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

2015
Declarative, Secure, Convergent Edge Computation.
CoRR, 2015

Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems Workshop, 2015

Lasp: a language for distributed, coordination-free programming.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Lasp: a language for distributed, eventually consistent computations with CRDTs.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

The implementation and use of a generic dataflow behaviour in Erlang.
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014
Vector Clocks in Coq: An Experience Report.
CoRR, 2014

Augmented inverted indexes to track causality in eventually consistent data stores.
Proceedings of the Middleware '14 Posters & Demos Session, 2014

On the composability of the Riak DT map: expanding from embedded to multi-key structures.
Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

Riak DT map: a composable, convergent replicated dictionary.
Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

Derflow: distributed deterministic dataflow programming for erlang.
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013
Riak PG: distributed process groups on dynamo-style distributed storage.
Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013


  Loading...