Publications

Publications I've been involved with:

Thesis Proposal

  • A language-level approach to distributed computation with weak synchronization and its application to cloud and edge computing environments. Christopher S. Meiklejohn [draft]

Conferences

  • Practical Evaluation of the Lasp Programming Model at Large Scale Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa The 19th International Symposium on Principles and Practice of Declarative Programming [preprint]

  • Lasp: A Language for Distributed, Coordination-Free Programming Christopher S. Meiklejohn, Peter Van Roy The 17th International Symposium on Principles and Practice of Declarative Programming [preprint] [ACM]

Workshops

  • Loquat: A Framework for Large-Scale Actor Communication on Edge Networks Christopher S. Meiklejohn, Peter Van Roy SmartEdge 2017 : The First International Workshop on Smart Edge Computing and Networking [preprint]

  • Worlds of Events: Deduction with Partial Knowledge about Causality. Seyed Hossein Haeri, Peter Van Roy, Carlos Baquero and Christopher S. Meiklejohn. 9th Interaction and Concurrency Experience Satellite Workshop of DisCoTec 2016

  • Towards Property-Based Consistency Verification Paolo Viotti, Christopher S. Meiklejohn, Marko Vukolic PaPoC '16, co-located event at ACM EuroSys '16 [EURECOM]

  • Declarative, Sliding Window Aggregations for Computations at the Edge Christopher S. Meiklejohn, Seyed H. Haeri, Peter Van Roy 1st International Workshop on Edge Computing, EdgeCom 2016, co-located event at CCNC 2016 [preprint]

  • Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation Christopher S. Meiklejohn, Peter Van Roy Workshop on Planetary-Scale Distributed Systems, co-located event at SRDS '15 [preprint]

  • The Implementation and Use of a Generic Dataflow Behaviour in Erlang Christopher S. Meiklejohn, Peter Van Roy ACM SIGPLAN Erlang Workshop '15, co-located event at ICFP '15 [preprint] [ACM]

  • Lasp: A Language for Distributed, Eventually Consistent Computations with CRDTs Christopher S. Meiklejohn, Peter Van Roy PaPoC '15, co-located event at ACM EuroSys '15 [ACM]

  • Eventual Consistency and Deterministic Dataflow Programming: A Case Study of Integrating Derflow with the Riak Data Store Christopher S. Meiklejohn LADIS Workshop '14 [preprint] [slides]

  • Derflow: distributed deterministic dataflow programming for erlang Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher S. Meiklejohn ACM SIGPLAN Erlang Workshop '14, co-located event at ICFP '14 [ACM] [slides]

  • On The Composability of the Riak DT Map: Expanding From Embedded To Multi-Key Structures Christopher S. Meiklejohn PaPEC '14, co-located event at ACM EuroSys '14 [ACM] [slides]

  • Riak DT Map: A Composable, Convergent Replicated Dictionary Russell Brown, Sean Cribbs, Sam Elliott, and Christopher S. Meiklejohn PaPEC '14, co-located event at ACM EuroSys '14 [ACM]

  • Riak PG: distributed process groups on dynamo-style distributed storage Christopher S. Meiklejohn ACM SIGPLAN Erlang Workshop '13, co-located event at ICFP '13 [ACM] [slides]

Posters

  • Augmented Inverted Indexes to Track Causality in Eventually Consistent Data Stores Christopher S. Meiklejohn Middleware '14, Demos & Poster Session [ACM]

Articles

  • Dynamic Path Contraction for Distributed, Dynamic Dataflow Languages Borja Arnau de Régil Basáñez, Christopher S. Meiklejohn Draft, published 5 Sep 2016 [arXiv preprint]

  • Declarative, Secure, Convergent Edge Computation Christopher S. Meiklejohn Draft, published 13 Nov 2015 [arXiv preprint]

  • A Certain Tendency Of The Database Community Christopher S. Meiklejohn Draft, published 28 Oct 2015 [arXiV preprint]

  • Vector Clocks in Coq: An Experience Report Christopher S. Meiklejohn Draft, published 17 Jun 2014 [arXiV preprint]