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.

ocaml1124distributed145journal135systems73conference64conservation59biodiversity53unikernels52ai46security45mirageos43sensing39opensource38fp36idea-done35selfhosting31cloud30spatial30idea-ongoing29ocamllabs27idea-medium25llms23idea-beginner22forests22multicore22economics21carboncredits20evidence19preprint19xen17urop17ubicomp17idea-hard17networks17hci16icfp16mobile15satellite15devtools15embedded15

show: [all tags]

20257220246620233020221520211320201420197201810201752016920151152014212013202012162011152010162009220084200722006120059200472003720024200152000319991

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 )