ICFP 2021
Sun 22 - Sat 28 August 2021
Thu 26 Aug 2021 20:10 - 20:40 at Erlang - Session 1

We present Graft, a generic tool for creating distributed consensus clusters running the Raft algorithm using state machines in Elixir. Our tool exhibits performance that is comparable to that of the Raft implementation supporting the original proposal, as well as the performance of other state-of-the-art Raft implementations running on the BEAM. The correctness of our tool is also ascertained through a number of complementary verification methods.

Thu 26 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Session 1Erlang at Erlang
20:00
10m
Day opening
Welcome
Erlang
Stavros Aronis Erlang Solutions, Sweden, Annette Bieniusa Technische Universität Kaiserslautern
20:10
30m
Talk
Graft: General Purpose Raft Consensus in Elixir
Erlang
Matthew Alan Le Brun University of Malta, Duncan Paul Attard University of Malta, Adrian Francalanza University of Malta
DOI
20:40
30m
Talk
Makina: A New QuickCheck State Machine Library
Erlang
Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Lars-Åke Fredlund Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Clara Benac Earle Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
DOI
21:10
10m
Vision and Emerging Results
Lightning Talk: Expected Application of BeamAsm
Erlang
Susumu Yamazaki Univ. of Kitakyushu
21:20
10m
Vision and Emerging Results
Lightning Talk: QuadBlockQuiz – Supply Chain Edition
Erlang
Duncan Sparrell sFractal Consulting