Publications

Work-in-Progress

• Distributed Execution Indexing Christopher S. Meiklejohn, Rohan Padhye, Heather Miller [arXiv]

Conferences

• Method Overloading the Circuit Christopher S. Meiklejohn, Lydia Stark, Cezare Celozzi, Matt Ranney, Heather Miller Proceedings of the ACM Symposium on Cloud Computing (SoCC '22) [preprint]

• Netherite: Efficient Execution of Serverless Workflows Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu Proceedings of the VLDB Endowment, Vol. 15, No. 8 (VLDB '22) [VLDB]

• Service-level Fault Injection Testing Christopher S. Meiklejohn, Andrea Estrada, Yiwen Song, Heather Miller, Rohan Padhye Proceedings of the ACM Symposium on Cloud Computing (SoCC '21) [preprint] [ACM]

• Durable Functions: Semantics for Stateful Serverless Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, and Christopher S. Meiklejohn Proceedings of the ACM on Programming Languages, Issue OOPSLA (OOPSLA '21) [ACM]

• A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications Jonathan Goldstein, Ahmed Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Ghosh Peshawaria, Tal Zaccai, Irene Zhang Proceedings of the VLDB Endowment, Vol. 13, No. 5 (VLDB '20) [Microsoft]

• Composing and Decomposing Op-Based CRDTs with Semidirect Products Matthew Weidner, Christopher S. Meiklejohn, Heather Miller Proceedings of the ACM on Programming Languages, Volume 4, Issue ICFP (ICFP '20) [ACM]

• Partisan: Scaling the Distributed Actor Runtime Christopher S. Meiklejohn, Heather Miller, Peter Alvaro The 19th USENIX Annual Technical Conference (ATC '19) [USENIX]

• 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 (PPDP '17) [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 (PPDP '15) [preprint] [ACM]

Workshops

• Composing and decomposing op-based CRDTs with semidirect products: (summary) Matthew Weidner, Christopher Meiklejohn, Heather Miller Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '20) [ACM]

• Towards a Solution to the Red Wedding Problem Christopher S. Meiklejohn, Heather Miller, Zeeshan Lakhani The First Workshop on Hot Topics in Edge Computing (HotEdge '18), colocated with ATC '18 [preprint] [USENIX]

• Partisan: Enabling Real-World Protocol Evaluation Christopher S. Meiklejohn The 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems, colocated with PODC '18 [ACM]

• Towards A Systems Approach To Distributed Programming Christopher S. Meiklejohn OBT 2018, colocated with POPL 2018

• On the Design of Distributed Programming Models Christopher S. Meiklejohn PMLDC 2018, colocated with ECOOP 2018

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

• Dynamic Path Contraction for Distributed Dataflow Languages Borja Arnau de Régil Basáñez, Christopher S. Meiklejohn AGERE 2016, colocated with SPLASH 2016

• 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, colocated 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, colocated 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, colocated 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, colocated event at ICFP '15 [preprint] [ACM]

• Lasp: A Language for Distributed, Eventually Consistent Computations with CRDTs Christopher S. Meiklejohn, Peter Van Roy PaPoC '15, colocated 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, colocated 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, colocated 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, colocated event at ACM EuroSys '14 [ACM]

• Riak PG: distributed process groups on dynamo-style distributed storage Christopher S. Meiklejohn ACM SIGPLAN Erlang Workshop '13, colocated 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

• Towards A Systems Approach To Distributed Programming Christopher S. Meiklejohn, Peter Van Roy Draft, published 8 Feb 2018 [arXiv preprint]

• Partisan: Enabling cloud-scale erlang applications Christopher S. Meiklejohn, Heather Miller Draft, published 7 Feb 2018 [arXiv preprint]

• Just-Right Consistency: reconciling availability and safety Marc Shapiro, Annette Bieniusa, Nuno Pregucia, Valter Balegas, Christopher Meiklejohn Draft, published 19 Jan 2018 [arXiv preprint]

• On the Design of Distributed Programming Models Christopher S. Meiklejohn Draft, published 1 Feb 2017 [arXiv preprint]

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