ICFP 2018 (series) / Erlang 2018 (series) /
Erlang 2018 Program
This is the Erlang 2018 program - see the full program for ICFP 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 29 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | |||
09:00 10mDay opening | Day Openning Erlang | ||
09:10 50mTalk | Invited Keynote -- Distributed Erlang: From Datacenter Applications to Planetary Scale Applications Erlang |
10:20 - 11:00 | |||
10:20 40mProduct announcement | Latest News from the OTP Team Erlang |
11:20 - 12:00 | |||
11:20 25mFull-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 15mShort-paper | Towards Secure Erlang Systems Erlang DOI |
13:30 - 14:30 | |||
13:30 25mFull-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 25mFull-paper | Automatic Detection of Core Erlang Message Passing Errors Erlang DOI | ||
14:20 10mCoffee break | 10 min Coffee break Erlang |
14:30 - 15:10 | |||
14:30 25mFull-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 15mShort-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 | |||
15:30 25mFull-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 15mDay closing | Farewell & Closing Erlang |