Christopher Meiklejohn
Christopher Meiklejohn
Ph.D. Student
Verified email at cs.cmu.edu - Homepage
TitleCited byYear
Lasp: A language for distributed, coordination-free programming
C Meiklejohn, P Van Roy
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
502015
Riak DT map: a composable, convergent replicated dictionary
R Brown, S Cribbs, C Meiklejohn, S Elliott
Proceedings of the First Workshop on Principles and Practice of Eventual …, 2014
262014
Practical evaluation of the lasp programming model at large scale: An experience report
CS Meiklejohn, V Enes, J Yoo, C Baquero, P Van Roy, A Bieniusa
Proceedings of the 19th International Symposium on Principles and Practice …, 2017
132017
Lasp: a language for distributed, eventually consistent computations with CRDTs.
C Meiklejohn, P Van Roy
PaPoC@ EuroSys, 7:1-7:4, 2015
92015
Partisan: Enabling cloud-scale erlang applications
C Meiklejohn, H Miller
arXiv preprint arXiv:1802.02652, 2018
82018
Selective hearing: An approach to distributed, eventually consistent edge computation
C Meiklejohn, P Van Roy
2015 IEEE 34th Symposium on Reliable Distributed Systems Workshop (SRDSW), 62-67, 2015
82015
Riak PG: Distributed process groups on dynamo-style distributed storage
C Meiklejohn
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, 27-32, 2013
82013
Loquat: A framework for large-scale actor communication on edge networks
CS Meiklejohn, P Van Roy
2017 IEEE International Conference on Pervasive Computing and Communications …, 2017
42017
Lightkone: Towards general purpose computations on the edge
A Shoker, J Leitao, P Van Roy, C Meiklejohn
White Paper published on http://www. lightkone. eu 40, 2016
42016
The implementation and use of a generic dataflow behaviour in erlang
C Meiklejohn, P Van Roy
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 39-45, 2015
42015
Derflow: distributed deterministic dataflow programming for Erlang
M Bravo, Z Li, P Van Roy, C Meiklejohn
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 51-60, 2014
42014
On the composability of the Riak DT map: expanding from embedded to multi-key structures
C Meiklejohn
European Seventh Framework Programme ICT call 10, 31, 2014
42014
Towards a Solution to the Red Wedding Problem
CS Meiklejohn, H Miller, Z Lakhani, C Cable
USENIX} Workshop on Hot Topics in Edge Computing (HotEdge 18)}, 2018
32018
Just-Right Consistency: reconciling availability and safety
M Shapiro, A Bieniusa, N Preguiça, V Balegas, C Meiklejohn
arXiv preprint arXiv:1801.06340, 2018
32018
Eventual Consistency and Deterministic Dataflow Programming
C Meiklejohn
8th Workshop on Large-Scale Distributed Systems and Middleware, 2014
32014
On the Design of Distributed Programming Models
CS Meiklejohn
Proceedings of the Programming Models and Languages for Distributed Computing, 1, 2017
22017
A certain tendency of the database community
CS Meiklejohn
Companion to the first International Conference on the Art, Science and …, 2017
22017
Declarative, sliding window aggregations for computations at the edge
C Meiklejohn, SH Haeri, P Van Roy
2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2016
22016
Vector Clocks in Coq: An Experience Report
C Meiklejohn
arXiv preprint arXiv:1406.4291, 2014
12014
{PARTISAN}: Scaling the Distributed Actor Runtime
CS Meiklejohn, H Miller, P Alvaro
2019 {USENIX} Annual Technical Conference ({USENIX}{ATC} 19), 63-76, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20