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

In distributed computing systems, function entities live on single machines or node, and data is shared between nodes in order to carry out computation. Such computation model gives rise to undesirable system characteristics, such as increased network load and data vulnerabilities, both caused by sharing large amounts of information between nodes. The introduction of fog computing architectures, mitigates these problems by moving part of the computation to edge devices. To further tackle these problems, this work explores the use of the call-by-move parameter passing semantics to enable function mobility between many nodes, effectively reducing network load and avoiding unnecessary information sharing. To build the new parameter passing semantics, we use Elixir’s metaprogramming capabilities, introducing new language constructs and functions. Furthermore, we accompany the implementation by a formal specification of the system using Athena. In order to show the usability of this approach, we implement an exemplar application that demonstrates reduced network load and a reduced amount of shared data, when computation, and hence communication, load increases for each of the nodes in the network.

Slides (ERLANG25.pdf)10.84MiB

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