ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Sun 12 Oct 2025 16:38 - 16:53 at Seminar Room 7 - Distributed Behaviour Chair(s): Adriana Laura Voinea

We present DDMon, a proof-of-concept monitoring tool for distributed black-box deadlock detection in Erlang and Elixir systems based on generic servers (gen_server). DDMon acts as a drop-in replacement for the gen_server module, with minimal user intervention required. When activated, DDMon deploys an invisible monitor alongside each gen_server process; the monitors communicate with each other to detect deadlocks, without introducing centralised bottlenecks. In case of a deadlock, DDMon reports the exact set of deadlocked processes without false positives or false negatives: i.e., DDMon only reports real deadlocks, and if some processes become deadlocked, DDMon will report them. DDMon is the implementation and companion artifact of our work accepted at OOPSLA 2025: “Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation”.

Sun 12 Oct

Displayed time zone: Perth change

16:00 - 17:30
Distributed BehaviourErlang at Seminar Room 7
Chair(s): Adriana Laura Voinea University of Glasgow, UK
16:00
38m
Talk
Moving Objects and Behavior Safely in Ad hoc Networks
Erlang
Juan Camilo Bonet Universidad de los Andes, Mateo Sanabria Universidad de los Andes, Nicolás Cardozo Universidad de los Andes
Link to publication File Attached
16:38
15m
Talk
DDMon: a Monitoring Tool for Distributed Deadlock DetectionLightning Talk
Erlang
Radosław Jan Rowicki Technical University of Denmark
16:53
15m
Talk
Securing Erlang and Elixir applicationsLightning TalkRemote
Erlang
Melinda Tóth Eötvös Loránd University
17:08
22m
Day closing
Closing Remarks
Erlang
Ákos Hajdu Meta, Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK