Erlang 2017 – Proceedings

16th ACM SIGPLAN International Workshop on Erlang (Erlang 2017)

Frontmatter

Technical Report

Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Evgeniy Shishkin
(JSC InfoTeCS, Russia)


@InProceedings{Erlang17p1, author = {Evgeniy Shishkin}, title = {Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid4-p doi:

Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara
(Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan)


@InProceedings{Erlang17p13, author = {Kagumi Azuma and Nagisa Ishiura and Nobuaki Yoshida and Hiroyuki Kanbara}, title = {Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid2-p doi:

eAOP: An Aspect Oriented Programming Framework for Erlang
Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir
(University of Malta, Malta; Reykjavik University, Iceland)


@InProceedings{Erlang17p25, author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir}, title = {eAOP: An Aspect Oriented Programming Framework for Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid1-p doi:

Structuring Erlang BEAM Control Flow
Dániel Lukács and Melinda Tóth
(ELTE Eötvös Loránd University, Hungary)


@InProceedings{Erlang17p37, author = {Dániel Lukács and Melinda Tóth}, title = {Structuring Erlang BEAM Control Flow}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid8-p doi:

The Shared-Memory Interferences of Erlang/OTP Built-Ins
Stavros Aronis and Konstantinos Sagonas
(Uppsala University, Sweden)


@InProceedings{Erlang17p49, author = {Stavros Aronis and Konstantinos Sagonas}, title = {The Shared-Memory Interferences of Erlang/OTP Built-Ins}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid10-p doi:

Towards an Isabelle/HOL Formalisation of Core Erlang
Joseph R. Harrison
(University of Kent, UK)


@InProceedings{Erlang17p61, author = {Joseph R. Harrison}, title = {Towards an Isabelle/HOL Formalisation of Core Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid9-p doi:

Experience Report

Towards Change-Driven Testing
Viktória Fördős, István Bozó, and Melinda Tóth
(Klarna, Sweden; ELTE Eötvös Loránd University, Hungary)


@InProceedings{Erlang17p73, author = {Viktória Fördős and István Bozó and Melinda Tóth}, title = {Towards Change-Driven Testing}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid5-p doi:

proc time: 0.02