Erlang 2026 – Preliminary Table of Contents

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

Frontmatter

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

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 Search Article: icfpws26erlangmain-p5-p doi:10.1145/3830434.3830941

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

Article Search Article: icfpws26erlangmain-p6-p doi:10.1145/3830434.3830942

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 Search Article: icfpws26erlangmain-p7-p doi:10.1145/3830434.3830943

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 Search Article: icfpws26erlangmain-p8-p doi:10.1145/3830434.3830944

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

Article Search Article: icfpws26erlangmain-p9-p doi:10.1145/3830434.3830945

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

Article Search Article: icfpws26erlangmain-p11-p doi:10.1145/3830434.3830946

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

proc time: 0.02