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)


@InProceedings{Erlang21p1, author = {Konstantinos Sagonas}, title = {Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Invited Talk)}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3471871.3480952}, year = {2021}, } Publisher's Version

Papers

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


@InProceedings{Erlang21p2, author = {Matthew Alan Le Brun and Duncan Paul Attard and Adrian Francalanza}, title = {Graft: General Purpose Raft Consensus in Elixir}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {2-1}, doi = {10.1145/3471871.3472963}, year = {2021}, } 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)


@InProceedings{Erlang21p15, author = {Sébastien Kalbusch and Vincent Verpoten and Peter Van Roy}, title = {The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {15-14}, doi = {10.1145/3471871.3472962}, year = {2021}, } 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)


@InProceedings{Erlang21p28, author = {Fernando Benavides Rodríguez and Laura M. Castro}, title = {Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {28-27}, doi = {10.1145/3471871.3472961}, year = {2021}, } 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)


@InProceedings{Erlang21p41, author = {Luis Eduardo Bueso de Barrio and Lars-Åke Fredlund and Ángel Herranz and Clara Benac Earle and Julio Mariño}, title = {Makina: A New QuickCheck State Machine Library}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3471871.3472964}, year = {2021}, } Publisher's Version

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


@InProceedings{Erlang21p54, author = {Nithin Vadukkumchery Rajendrakumar and Annette Bieniusa}, title = {Bidirectional Typing for Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {54-53}, doi = {10.1145/3471871.3472966}, year = {2021}, } 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)


@InProceedings{Erlang21p67, author = {Viktória Fördős}, title = {What Are the Critical Security Flaws in My System?}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3471871.3472965}, year = {2021}, } Publisher's Version

proc time: 0.73