ICFP 2026 Co-Located Events
ICFP 2026 Co-Located Events
Powered by
Conference Publishing Consulting

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)

Frontmatter

Title Page
Article: icfpws26erlangforeword-fm000-p doi:
Welcome from the Chairs
Article: icfpws26erlangforeword-fm001-p doi:
Erlang 2026 Organization
Article: icfpws26erlangforeword-fm002-p doi:

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

Vor: Verified, Observable, Chaos-Tested Distributed Systems on the BEAM
James Jackson
(Independent Researcher, USA)
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, 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:

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

proc time: 0.01