Powered by

25th ACM SIGPLAN International Workshop on Erlang (Erlang 2026), August 28, 2026, Indianapolis, IN, USA

Erlang 2026 – Preliminary Table of Contents

Contents - Abstracts - Authors

25th ACM SIGPLAN International Workshop on Erlang (Erlang 2026)

Title Page

Article: icfpws26erlangforeword-fm000-p doi:

Welcome from the Chairs

Article: icfpws26erlangforeword-fm001-p doi:

Erlang 2026 Organization

Article: icfpws26erlangforeword-fm002-p doi:

Vor: Verified, Observable, Chaos-Tested Distributed Systems on the BEAM
James Jackson
(Individual,)

Article: icfpws26erlangmain-p3-p doi:

Towards Exact Semantic Equivalence of Erlang BEAM Constructs: Lessons from Advanced Emulation and Decompilation
Gregory Morse and Melinda Tóth
(Eötvös Loránd University, Hungary)

Article: icfpws26erlangmain-p5-p doi:

Green Benchmarking of BEAM Languages
Youssef Gharbi, Melinda Tóth, and István Bozó
(Eötvös Loránd University, Hungary)

Article: icfpws26erlangmain-p6-p doi:

EMoL: Erlang Messaging and Monitoring over LoRa
Daniel Ferenczi, Gergely Ruda, and Melinda Tóth
(Eötvös Loránd University, Hungary; evosoft Hungary Kft., Hungary)

Article: icfpws26erlangmain-p7-p doi:

A Mechanised Semantics of Erlang's References
Dániel Lukács, Péter Bereczky, and Dániel Horpácsi
(Eötvös Loránd University, Hungary)

Article: icfpws26erlangmain-p8-p doi:

Set-Theoretic Typing in an Erlang Classroom: A Retrospective Type Study
Albert Schimpf, Stefan Wehr, and Annette Bieniusa
(RPTU University of Kaiserslautern-Landau, Germany; Offenburg University of Applied Sciences, Germany)

Article: icfpws26erlangmain-p9-p doi:

Modern Erlang Teaching from Code Refactoring to Actor System Verification
Sergey Staroletov
(Polzunov Altai State Technical University, Russian Federation)

Article: icfpws26erlangmain-p11-p doi:

proc time: 0.01