Erlang 2025
as the organisers put it
General Information Update: submission form for lightning talks is open now. Please submit your talks by 12th September. Welcome to the website of the Erlang 2025 workshop! Series Erlang 2025 is the 24th ACM SIGPLAN Erlang Workshop and is a satellite event of the 30th ACM SIGPLAN International Conference on Functional Programming (ICFP 2025). Scope The workshop aims to bring together the open source, academic, and industrial communities of Erlang, other BEAM-related languages, actor model programming, distribution, and concurrency to discuss techniques, technologies, languages, and other r ...
who it's for
Erlang developers, BEAM language developers, tool builders, verification engineers, runtime engineers, embedded systems engineers, observability and monitoring engineers
topics
Python 3.12 subinterpreter object freezing; Coq mechanised Core Erlang; extracted Erlang interpreter in Haskell; mechanised atom exhaustion proofs; AtomVM on ESP32 S3; distributed deadlock detection (DDMon); stop-the-world BEAM debugger; mailbox type static checking; RefactorErl semantic program graph; per-gen_server proxy monitoring
| title | author | length |
|---|---|---|
| PyErlang -- a stepping stone towards behaviour-oriented concurrency in Python | Tobias Wrigstad | 01h 32m |
PyErlang implements direct sharing of deeply immutable Python objects across Python 3.12 sub‑interpreters by adding a dynamic freeze operation that enforces… | ||
| 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, Simon Thompson | 35m |
Derives a runnable Erlang interpreter by extracting Gallina functions from a Coq mechanised semantics of Core Erlang into Haskell, applying three extraction… | ||
| Closing Remarks | Kiko Fernandez-Reyes, Akos Hajdu, Adriana Laura Voinea | 01m |
Brief closing that thanks authors presenters and attendees and acknowledges the ICFP organizers while naming sponsors Airline Ecosystem Foundation Ericson Dash… | ||
| Securing Erlang and Elixir applications | Melinda Toth | 18m |
Static analyses implemented on RefactorErl produce a three-layer semantic program graph and about ~20 checkers that detect flaws in Erlang and Elixir; results… | ||
| Evaluating AtomVM for Fault-Tolerant ESP32-Based Systems | Daniel Ferenczi, Gergely Ruda, Melinda Toth | 20m |
Measures the cost of adding Erlang-style fault tolerance by running AtomVM on ESP32 S3 (512 KB RAM) and comparing single-node vs managed failover with a… | ||
| DDMon: a Monitoring Tool for Distributed Deadlock Detection | Radosław Jan Rowicki | 18m |
DDMon is a drop-in gen_server replacement that spawns a per-gen_server monitor to proxy messages and exchange probe messages with peers; it claims formal… | ||
| Mechanised Proofs of Atom Exhaustion in Erlang | Arsenii Fomin, Péter Bereczky, Dániel Horpácsi, Gergő Lajos Turán | 41m |
Formalisation encodes atom creation as labelled side effects in a Core Erlang small‑step semantics and defines vulnerability as exceeding the atom table limit… | ||
| Welcome to Erlang’25 | Kiko Fernandez-Reyes, Akos Hajdu, Adriana Laura Voinea | 04m |
Workshop opens with concrete counts and a packed schedule: eight submissions, five accepted, and three projected. Sessions present mechanized formal semantics… | ||
| A stop-the-world debugger for Erlang (and the BEAM) | Daniel Gorin, Björn Gustavsson, Roberto Aloi | 34m |
edb extends OTP with a new debugging API and a compiler flag that emits beam debug info so the VM can install per-line trampolines (run-time jumps) and create… | ||
| Mailboxer: Static Detection of Erlang Communication Errors | Adriana Laura Voinea | 24m |
Mailboxer is a prototype static checker for Erlang that uses mailbox types (via the Pat backend) to find real communication bugs: it catches message tag typos… | ||
| nothing matches | ||