ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Sun 12 Oct 2025 14:00 - 14:38 at Seminar Room 7 - Tools, Systems & Static Analysis Chair(s): Kiko Fernandez-Reyes

Erlang and the BEAM are remarkable for their tracing capabilities and the type of troubleshooting it enables on live production systems. At other stages of the development cycle, though, a traditional debugger is arguably more natural and convenient to use. While Erlang/OTP has included a step-debugger (int) since its very first public release, it has generally been regarded as ineffective beyond very simple scenarios. To bridge this gap, we have extended OTP with a new debugging API (available since release 28), and used it to build edb, a novel debugger for Erlang that aims to overcome some of int’s known limitations. In this note we motivate this work, discuss technical challenges and provide a general implementation overview.

This program is tentative and subject to change.

Sun 12 Oct

Displayed time zone: Perth change

14:00 - 15:30
Tools, Systems & Static AnalysisErlang at Seminar Room 7
Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden
14:00
38m
Talk
A stop-the-world debugger for Erlang (and the BEAM)
Erlang
14:38
37m
Talk
Evaluating AtomVM for fault-tolerant systemsRemote
Erlang
Daniel Ferenczi Eötvös Loránd University, Gergely Ruda evosoft Hungary Kft., Melinda Tóth Eötvös Loránd University
15:15
15m
Talk
(Lightning Talk) Mailboxer: Static Detection of Erlang Communication Errors
Erlang
Adriana Laura Voinea University of Glasgow, UK