Erlang 2021 – Proceedings

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

Frontmatter

Invited Talk

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 Article: icfpws21erlangmain-inv1-p doi:10.1145/3471871.3480952

Papers

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

Publisher's Version Article: icfpws21erlangmain-p5-p doi:10.1145/3471871.3472963

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 Article: icfpws21erlangmain-p2-p doi:10.1145/3471871.3472962

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 Article: icfpws21erlangmain-p1-p doi:10.1145/3471871.3472961

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 Article: icfpws21erlangmain-p6-p doi:10.1145/3471871.3472964

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

Publisher's Version Article: icfpws21erlangmain-p9-p doi:10.1145/3471871.3472966

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 Article: icfpws21erlangmain-p8-p doi:10.1145/3471871.3472965

proc time: 0.01