SPLASH Workshop/Symposium Events 2025
2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2025)
Powered by
Conference Publishing Consulting

24th ACM SIGPLAN International Workshop on Erlang (Erlang 2025), October 12–18, 2025, Singapore, Singapore

Erlang 2025 – Proceedings

Contents - Abstracts - Authors

24th ACM SIGPLAN International Workshop on Erlang (Erlang 2025)

Frontmatter

Title Page
Article: splashws25erlangforeword-fm000-p doi:
Welcome from the Chairs
Article: splashws25erlangforeword-fm001-p doi:
Erlang 2025 Organization
Article: splashws25erlangforeword-fm002-p doi:
Erlang 2025 Sponsors
Article: splashws25erlangforeword-fm003-p doi:

Keynote

PyErlang: A Stepping Stone towards Behaviour-Oriented Concurrency in Python (Keynote)
Tobias Wrigstad
(Uppsala University, Sweden)
Publisher's Version Article: splashws25erlangmain-key1-p doi:10.1145/3759161.3771262

Papers

Moving Objects and Behavior Safely in Ad Hoc Networks
Juan Camilo Bonet, Mateo Sanabria Ardila, and Nicolás Cardozo
(Universidad de Los Andes, Colombia)
Publisher's Version Article: splashws25erlangmain-p2-p doi:10.1145/3759161.3763044
Mechanised Proofs of Atom Exhaustion in Erlang
Arsenii Fomin, Péter Bereczky, Dániel Horpácsi, and Gergő Lajos Turán
(Eötvös Loránd University, Hungary)
Publisher's Version Article: splashws25erlangmain-p50-p doi:10.1145/3759161.3763045
Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang
Gergő Lajos Turán, Arsenii Fomin, Péter Bereczky, Dániel Horpácsi, and Simon Thompson
(Eötvös Loránd University, Hungary; University of Kent, UK)
Publisher's Version Article: splashws25erlangmain-p70-p doi:10.1145/3759161.3763046
A Stop-the-World Debugger for Erlang (and the BEAM)
Daniel Gorin, Björn Gustavsson, and Roberto Aloi
(Meta, UK; Ericsson, Sweden; Meta, Sweden)
Publisher's Version Article: splashws25erlangmain-p82-p doi:10.1145/3759161.3763047
Evaluating AtomVM for Fault-Tolerant ESP32-Based Systems
Daniel Ferenczi, Gergely Ruda, and Melinda Tóth
(Eötvös Loránd University, Hungary; evosoft, Hungary)
Publisher's Version Article: splashws25erlangmain-p94-p doi:10.1145/3759161.3763048

proc time: 0.02