ICFP/SPLASH 2025 (series) / Erlang 2025 (series) / Erlang 2025 /
A stop-the-world debugger for Erlang (and the BEAM)
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 OctDisplayed time zone: Perth 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 38mTalk | A stop-the-world debugger for Erlang (and the BEAM) Erlang | ||
14:38 37mTalk | 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 15mTalk | (Lightning Talk) Mailboxer: Static Detection of Erlang Communication Errors Erlang Adriana Laura Voinea University of Glasgow, UK |