ICFP/SPLASH 2025 (series) / Erlang 2025 (series) /
Erlang 2025 Program
This is the Erlang 2025 program - see the full program for ICFP/SPLASH 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 12 OctDisplayed time zone: Perth change
Sun 12 Oct
Displayed time zone: Perth change
09:00 - 10:30 | Welcome & KeynoteErlang at Seminar Room 7 Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK | ||
09:00 15mDay opening | Welcome to Erlang’25 Erlang Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK, Ákos Hajdu Meta | ||
09:15 75mKeynote | PyErlang -- a stepping stone towards behaviour-oriented concurrency in PythonErlang Workshop Keynote Erlang Tobias Wrigstad Uppsala University | ||
11:00 - 12:30 | |||
11:00 38mTalk | Mechanised Proofs of Atom Exhaustion in Erlang Erlang Arsenii Fomin Eötvös Loránd University, Péter Bereczky Eötvös Loránd University, Dániel Horpácsi Eötvös Loránd University, Gergő Lajos Turán Eötvös Loránd University | ||
11:38 37mTalk | Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang Erlang Gergő Lajos Turán Eötvös Loránd University, Arsenii Fomin Eötvös Loránd University, Péter Bereczky Eötvös Loránd University, Dániel Horpácsi Eötvös Loránd University, Simon Thompson University of Kent (UK) | ||
12:15 15mTalk | The State of The Unions: challenges for type-checking unions and generics at WhatsAppLightning Talk Erlang Maxwell Heiber Meta | ||
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 ESP32-Based 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 | Mailboxer: Static Detection of Erlang Communication ErrorsLightning Talk Erlang Adriana Laura Voinea University of Glasgow, UK | ||
16:00 - 17:30 | Distributed BehaviourErlang at Seminar Room 7 Chair(s): Adriana Laura Voinea University of Glasgow, UK | ||
16:00 38mTalk | 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 15mTalk | DDMon: a Monitoring Tool for Distributed Deadlock DetectionLightning Talk Erlang Radosław Jan Rowicki Technical University of Denmark | ||
16:53 15mTalk | Securing Erlang and Elixir applicationsLightning TalkRemote Erlang Melinda Tóth Eötvös Loránd University | ||
17:08 22mDay closing | Closing Remarks Erlang Ákos Hajdu Meta, Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK | ||