ICFP Workshops 2021
26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021)

Title Page

Message from the Chairs

Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Invited Talk)
Konstantinos Sagonas
(Uppsala University, Sweden; National Technical University of Athens, Greece)

Publisher's Version

Graft: General Purpose Raft Consensus in Elixir
Matthew Alan Le Brun, Duncan Paul Attard, and Adrian Francalanza
(University of Malta, Malta)

Publisher's Version

The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network
Sébastien Kalbusch, Vincent Verpoten, and Peter Van Roy
(Université Catholique de Louvain, Belgium)

Publisher's Version

Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
Fernando Benavides Rodríguez and Laura M. Castro
(NextRoll, Spain; Universidade da Coruña, Spain)

Publisher's Version

Makina: A New QuickCheck State Machine Library
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)

Publisher's Version

Bidirectional Typing for Erlang
Nithin Vadukkumchery Rajendrakumar and Annette Bieniusa
(TU Kaiserslautern, Germany)

Publisher's Version

What Are the Critical Security Flaws in My System?
Viktória Fördős
(Cisco Systems, Sweden; Eötvös Loránd University, Hungary)

Publisher's Version Info