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

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

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

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

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

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

proc time: 0.66