Erlang 2017- Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang

Full Citation in the ACM Digital Library

SESSION: Technical Report

Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm

• Evgeniy Shishkin

Distributed memory architecture for high-level synthesis of embedded controllers from Erlang

• Kagumi Azuma
• Nagisa Ishiura
• Nobuaki Yoshida
• Hiroyuki Kanbara

eAOP: an aspect oriented programming framework for Erlang

• Ian Cassar
• Adrian Francalanza
• Luca Aceto
• Anna Ingólfsdóttir

Structuring Erlang BEAM control flow

• Dániel Lukács
• Melinda Tóth

The shared-memory interferences of Erlang/OTP built-ins

• Stavros Aronis
• Konstantinos Sagonas

Towards an Isabelle/HOL formalisation of core Erlang

• Joseph R. Harrison

SESSION: Experience Report

Towards change-driven testing

• Viktória Fördős
• István Bozó
• Melinda Tóth