Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Opening & Keynote talkErlang at Burlington Route
09:00
10m
Day opening
Day Openning
Erlang
C: Adrian Francalanza University of Malta, C: Natalia Chechina Bournemouth University
09:10
50m
Talk
Invited Keynote -- Distributed Erlang: From Datacenter Applications to Planetary Scale Applications
Erlang
K: Christopher Meiklejohn Carnegie Mellon University
10:20 - 11:00
Latest NewsErlang at Burlington Route
10:20
40m
Product announcement
Latest News from the OTP Team
Erlang
11:20 - 12:00
11:20
25m
Full-paper
Understanding Formal Specifications through Good Examples
Erlang
A: Alex Gerdes University of Gothenburg, Sweden, A: John Hughes Chalmers University of Technology, Sweden, A: Nicholas Smallbone Chalmers University of Technology, Sweden, A: Stefan Hanenberg University of Duisburg-Essen, Germany, A: Sebastian Ivarsson Chalmers University of Technology, Sweden, A: Meng Wang University of Bristol, UK
DOI
11:45
15m
Short-paper
Towards Secure Erlang Systems
Erlang
A: Alexandre Jorge Barbosa Rodrigues Klarna Bank, Sweden, A: Viktória Fördős Klarna Bank, Sweden
DOI
13:30 - 14:30
13:30
25m
Full-paper
iDeA: An Immersive Debugger for Actors
Erlang
A: Aman Shankar Mathur MPI-SWS, Germany, A: Burcu Kulahcioglu Ozkan MPI-SWS, Germany, A: Rupak Majumdar MPI-SWS, Germany
DOI
13:55
25m
Full-paper
Automatic Detection of Core Erlang Message Passing Errors
Erlang
A: Joseph Harrison University of Kent, UK
DOI
14:20
10m
Coffee break
10 min Coffee break
Erlang

14:30 - 15:10
14:30
25m
Full-paper
Modelling Distributed Erlang within a Single Node
Erlang
A: Stavros Aronis Erlang Solutions, Sweden, A: Viktória Fördős Klarna Bank, Sweden, A: Dániel Szoboszlay Klarna Bank, Sweden
DOI
14:55
15m
Short-paper
Modeling Erlang Processes as Petri Nets
Erlang
A: Jörgen Brandt Humboldt-Universität zu Berlin, Germany, A: Wolfgang Reisig Humboldt-Universität zu Berlin, Germany
DOI
15:30 - 16:10
Final talk and ClosingErlang at Burlington Route
15:30
25m
Full-paper
Typing the Wild in Erlang
Erlang
A: Nachiappan Valliappan Chalmers University of Technology, Sweden, A: John Hughes Chalmers University of Technology, Sweden
DOI
15:55
15m
Day closing
Farewell & Closing
Erlang
C: Adrian Francalanza University of Malta, C: Natalia Chechina Bournemouth University