Erlang 2018 – Proceedings

17th ACM SIGPLAN International Workshop on Erlang (Erlang 2018)

iDeA: An Immersive Debugger for Actors
Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, and Rupak Majumdar
(MPI-SWS, Germany)

Publisher's Version Article: icfpws18erlangmain-id1-p doi:10.1145/3239332.3242762

Understanding Formal Specifications through Good Examples
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, and Meng Wang
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Duisburg-Essen, Germany; University of Kent, UK)

Publisher's Version Article: icfpws18erlangmain-id2-p doi:10.1145/3239332.3242763

Modelling Distributed Erlang within a Single Node
Stavros Aronis, Viktória Fördős, and Dániel Szoboszlay
(Erlang Solutions, Sweden; Klarna Bank, Sweden)

Publisher's Version Article: icfpws18erlangmain-id3-p doi:10.1145/3239332.3242764

Automatic Detection of Core Erlang Message Passing Errors
Joseph Harrison
(University of Kent, UK)

Publisher's Version Article: icfpws18erlangmain-id7-p doi:10.1145/3239332.3242765

Typing the Wild in Erlang
Nachiappan Valliappan and John Hughes
(Chalmers University of Technology, Sweden)

Publisher's Version Article: icfpws18erlangmain-id8-p doi:10.1145/3239332.3242766

Modeling Erlang Processes as Petri Nets
Jörgen Brandt and Wolfgang Reisig
(Humboldt-Universität zu Berlin, Germany)

Publisher's Version Article: icfpws18erlangmain-id9-p doi:10.1145/3239332.3242767

Towards Secure Erlang Systems
Alexandre Jorge Barbosa Rodrigues and Viktória Fördős
(Klarna Bank, Sweden)

Publisher's Version Article: icfpws18erlangmain-id10-p doi:10.1145/3239332.3242768

proc time: 0.01