Anil Madhavapeddy, Professor of Planetary Computing

Raft Refloated: Do We Have Consensus?

Paper on reproducing the raft consensus protocol

Raft Refloated: Do We Have Consensus?

Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy and Jon Crowcroft.

Journal paper in ACM SIGOPS Operating Systems Review (vol 49 issue 1).

URL (dl.acm.org) DOI BIB PDF

# 1st Jan 2015

papers consensus distributed formal journal ocaml

This is a news item about a journal paper published on the 1st Jan 2015 by Anil Madhavapeddy. Browse related tags from the topics below, or switch to the wiki view to browse more entries.

ocaml1123 distributed145 journal134 systems71 conference64 conservation55 biodiversity52 unikernels52 security45 mirageos43 ai39 sensing38 opensource37 fp36 idea-done34 selfhosting31 cloud30 spatial27 ocamllabs27 idea-medium25 forests22 multicore22 economics21 carboncredits20 llms19 idea-ongoing19 xen17 ubicomp17 idea-hard17 idea-beginner16 hci16 evidence16 icfp16 networks16 mobile15 idea-available15 devtools15 preprint15

show: [all tags]

202560 202466 202330 202215 202113 202014 20197 201810 20175 20169 2015115 201421 201320 201216 201115 201016 20092 20084 20072 20061 20059 20047 20037 20024 20015 20003 19991

This site is © 1998-2025 Anil Madhavapeddy, all rights reserved, except where the content is otherwise licensed. There are no third-party trackers. You can follow me on the usual social media and some self-hosted ones.

Chat (Bluesky / Mastodon / LinkedIn / ~~Twitter~~)
Video (Recoil / EEG / OCaml)
Code (GitHub / GitLab@cam)
Feed (Atom )