Christopher S. Meiklejohn
where else to find them
what they talk about
all 9 in the filters
where they keep going back
- Strange Loop2 editions2015–2022
- GOTO Chicago2 editions2015–2016
all 13 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Brooklyn Zelenka23 talks
- Jonathan Martin8 talks
- Martin Kleppmann12 talks
- Francesco Cesarini21 talks
- François René Rideau10 talks
- Caitie McCaffrey7 talks
| title | conference | date |
|---|---|---|
| Composing and decomposing op-based CRDTs with semidirect products | SPLASH 2022 | 2022-12-05 |
Presents a concrete construction that composes two op-based CRDTs into one using an explicit semidirect product action that transforms noncommuting ops (proofs… | ||
| Resillient Microservices without the Chaos | Strange Loop 2022 | 2022-09-22 |
Claims that service-level fault injection testing turns existing end-to-end functional tests into exhaustive failure explorations, using static analysis, test… | ||
| Durable Functions: Semantics for Stateful Serverless | OOPSLA 2021 | 2021-10-17 |
Durable Functions extends FaaS with actors, workflows and entities and claims to give strong, fault free semantics while running on ephemeral workers and… | ||
| Composing and Decomposing Op-Based CRDTs with Semidirect Products | ICFP 2020 | 2020-08-23 |
Construction called the semidirect product composes two op-based CRDTs plus an action function to produce a single CRDT that deterministically resolves… | ||
| PARTISAN: Scaling the Distributed Actor Runtime | USENIX ATC '19 | 2019-07-10 |
PARTISAN is an Erlang library that replaces Distributed Erlang’s single full‑mesh, single‑TCP assumptions with runtime‑selectable overlays (full‑mesh… | ||
| Partisan: high performance large scale distributed Erlang | Code BEAM SF 2019 | 2019-02-28 |
Partisan is a user-space alternative Erlang runtime that lets applications pick network overlays at runtime (full-mesh, client‑server, peer‑to‑peer) and ships… | ||
| Declarative, Convergent Edge Computation | Lambda World 2016 | 2016-09-30 |
Claim: a programming model lets edge devices operate offline and still converge without global coordination. It composes CRDTs into a restricted dataflow… | ||
| Rethinking the Language Runtime for Scale | Erlang User Conference 2016 | 2016-09-08 |
Claim: Lasp runtime targets clusters of 10k–20k nodes by combining CRDT-based language semantics with a reworked runtime. Implementation uses Erlang, Docker… | ||
| An Approach For The Internet Of Things | GOTO Chicago 2016 | 2016-05-23 |
Argues for pushing computation and state to devices using CRDTs and a declarative lattice processing model (Erlang library) so disconnected sensors can… | ||
| Coordination-Free Designs for Mobile Gaming | Code Mesh 2015 | 2015-11-03 |
Claims that coordination can be minimized by designing with CRDTs and a dataflow/lattice model, implemented as the Lasp programming model embedded in Erlang… | ||
| Distributed, Eventually Consistent Computations | Strange Loop 2015 | 2015-09-24 |
Claims a coordination-free programming model called Lasp that composes CRDTs with a distributed dataflow to get Strong Eventual Consistency. Implements the… | ||
| Coordination-Free Computations | GOTO Chicago 2015 | 2015-05-11 |
A prototype language/runtime called Lasp composes CRDTs so distributed programs converge without consensus by carrying CRDT metadata through maps, filters and… | ||
| Verified Vector Clocks An Unexpected Journey | Erlang Factory SF Bay Area 2014 | 2014-03-06 |
Coq extraction to Core Erlang generates runnable code and an explicit Coq extraction to Core Erlang pipeline plus a glue adapter for Basho’s database, but the… | ||
| Convergent/Divergent | EmberConf 2014 | 2014-03-02 |
If an Ember.js app pushes state to clients it already behaves like a distributed system, and the concrete fix is to embed causality into data structures… | ||
| Bloom: A Language for Disorderly Distributed Programming | Wicked Good Ruby 2013 | 2013-10-12 |
Bloom claims monotone programs yield eventual consistency and shows a prototype toolchain that finds nonmonotonic spots and inserts coordination. It uses Bloom… | ||
| nothing matches | ||