Erlang 2025 – Proceedings

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

Frontmatter

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