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.

ocaml1124distributed145journal134systems73conference64conservation59biodiversity53unikernels52ai45security45mirageos43sensing39opensource38fp36idea-done35selfhosting31idea-ongoing30cloud30spatial30ocamllabs27idea-medium25idea-beginner22llms22forests22multicore22economics21carboncredits20preprint19evidence18xen17urop17ubicomp17idea-hard17hci16icfp16networks16mobile15satellite15devtools15embedded15

show: [all tags]

20257020246620233020221520211320201420197201810201752016920151152014212013202012162011152010162009220084200722006120059200472003720024200152000319991

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 )