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

  • 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

  • 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]