Erlang 2019 – Proceedings

18th ACM SIGPLAN International Workshop on Erlang (Erlang 2019)

Frontmatter

Papers

Erlang as an Enabling Technology for Resilient General-Purpose Applications on Edge IoT Networks
Igor Kopestenski and Peter Van Roy
(Université Catholique de Louvain, Belgium)


@InProceedings{Erlang19p1, author = {Igor Kopestenski and Peter Van Roy}, title = {Erlang as an Enabling Technology for Resilient General-Purpose Applications on Edge IoT Networks}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3331542.3342567}, year = {2019}, } Publisher's Version Article: icfpws19erlangmain-p20-p doi:10.1145/3331542.3342567

Towards Online Profiling of Erlang Systems
Michał Ślaski and Wojciech Turek
(Erlang Solutions, Poland; AGH University of Science and Technology, Poland)


@InProceedings{Erlang19p13, author = {Michał Ślaski and Wojciech Turek}, title = {Towards Online Profiling of Erlang Systems}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3331542.3342568}, year = {2019}, } Publisher's Version Article: icfpws19erlangmain-p23-p doi:10.1145/3331542.3342568

Intro to Web Prolog for Erlangers
Torbjörn Lager
(University of Gothenburg, Sweden)


@InProceedings{Erlang19p25, author = {Torbjörn Lager}, title = {Intro to Web Prolog for Erlangers}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3331542.3342569}, year = {2019}, } Publisher's Version Article: icfpws19erlangmain-p28-p doi:10.1145/3331542.3342569

Tools Supporting Green Computing in Erlang
Gergely Nagy, Áron Attila Mészáros, István Bozó, and Melinda Tóth
(Eötvös Loránd University, Hungary)


@InProceedings{Erlang19p37, author = {Gergely Nagy and Áron Attila Mészáros and István Bozó and Melinda Tóth}, title = {Tools Supporting Green Computing in Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3331542.3342570}, year = {2019}, } Publisher's Version Article: icfpws19erlangmain-p36-p doi:10.1145/3331542.3342570

Runtime Type Safety for Erlang/OTP Behaviours
Joseph Harrison
(University of Kent, UK)


@InProceedings{Erlang19p49, author = {Joseph Harrison}, title = {Runtime Type Safety for Erlang/OTP Behaviours}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3331542.3342571}, year = {2019}, } Publisher's Version Article: icfpws19erlangmain-p59-p doi:10.1145/3331542.3342571

Scaling Erlang Distribution: Going Beyond the Fully Connected Mesh
Adam Lindberg, Sébastien Merle, and Peer Stritzinger
(Peer Stritzinger GmbH, Germany)


@InProceedings{Erlang19p61, author = {Adam Lindberg and Sébastien Merle and Peer Stritzinger}, title = {Scaling Erlang Distribution: Going Beyond the Fully Connected Mesh}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3331542.3342572}, year = {2019}, } Publisher's Version Article: icfpws19erlangmain-p81-p doi:10.1145/3331542.3342572

Gaining Trust by Tracing Security Protocols
Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, and Hans Svensson
(Universidad Politécnica de Madrid, Spain; Quviq, Sweden)


@InProceedings{Erlang19p73, author = {Lars-Åke Fredlund and Clara Benac Earle and Thomas Arts and Hans Svensson}, title = {Gaining Trust by Tracing Security Protocols}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3331542.3342573}, year = {2019}, } Publisher's Version Article: icfpws19erlangmain-p87-p doi:10.1145/3331542.3342573

Lux: An Expect-Like Test Tool Written in Erlang: Synchronised Testing of Multiple Sessions
Håkan Mattsson and Cons T. Åhs
(Cisco, Sweden)


@InProceedings{Erlang19p85, author = {Håkan Mattsson and Cons T. Åhs}, title = {Lux: An Expect-Like Test Tool Written in Erlang: Synchronised Testing of Multiple Sessions}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3331542.3342574}, year = {2019}, } Publisher's Version Article: icfpws19erlangmain-p89-p doi:10.1145/3331542.3342574

proc time: 0.02