ICFP Workshops 2021
26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021)
Powered by
Conference Publishing Consulting

20th ACM SIGPLAN International Workshop on Erlang (Erlang 2021), August 26, 2021, Virtual, Republic of Korea

Erlang 2021 – Proceedings

Contents - Abstracts - Authors

20th ACM SIGPLAN International Workshop on Erlang (Erlang 2021)

Frontmatter

Title Page
Message from the Chairs

Invited Talk

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

Papers

Graft: General Purpose Raft Consensus in Elixir
Matthew Alan Le Brun ORCID logo, Duncan Paul Attard ORCID logo, and Adrian Francalanza ORCID logo
(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íguezORCID logo and Laura M. CastroORCID logo
(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 ORCID logo, Ángel Herranz, Clara Benac Earle ORCID logo, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
Publisher's Version
Bidirectional Typing for Erlang
Nithin Vadukkumchery Rajendrakumar and Annette Bieniusa ORCID logo
(TU Kaiserslautern, Germany)
Publisher's Version
What Are the Critical Security Flaws in My System?
Viktória Fördős ORCID logo
(Cisco Systems, Sweden; Eötvös Loránd University, Hungary)
Publisher's Version Info

proc time: 1.8