| 2025 | PPDP | Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp. | Christopher Meiklejohn, Peter Van Roy |
| 2022 | CLOUD | Method overloading the circuit. | Christopher Meiklejohn, Lydia Stark, Cesare Celozzi, Matt Ranney, Heather Miller |
| 2020 | EuroSys | Composing and decomposing op-based CRDTs with semidirect products: (summary). | Matthew Weidner, Heather Miller, Christopher Meiklejohn |
| 2016 | EuroSys | Towards property-based consistency verification. | Paolo Viotti, Christopher Meiklejohn, Marko Vukolic |
| 2015 | EuroSys | Lasp: a language for distributed, eventually consistent computations with CRDTs. | Christopher Meiklejohn, Peter Van Roy |
| 2015 | PPDP | Lasp: a language for distributed, coordination-free programming. | Christopher Meiklejohn, Peter Van Roy |
| 2015 | SRDS | Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. | Christopher Meiklejohn, Peter Van Roy |
| 2014 | EuroSys | Riak DT map: a composable, convergent replicated dictionary. | Russell Brown, Sean Cribbs, Christopher Meiklejohn, Sam Elliott |
| 2014 | EuroSys | On the composability of the Riak DT map: expanding from embedded to multi-key structures. | Christopher Meiklejohn |
| 2014 | Middleware | Augmented inverted indexes to track causality in eventually consistent data stores. | Christopher Meiklejohn |