Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
ICFP 2018 (series) / Erlang 2018 (series) /

Erlang 2018

Videos are available online.

Date of the Workshop

Saturday, 29 September 2018

Venue & Registration Details

For registration, please see the ICFP 2018 web site at: https://conf.researchr.org/home/icfp-2018

Workshop Objectives

The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above.

The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users’ experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc.

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
I: Kenneth Lundin
11:20 - 12:00
Session 1Erlang at Burlington Route
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
Session 2Erlang at Burlington Route
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
Session 3Erlang at Burlington Route
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

Accepted Papers

Title
Automatic Detection of Core Erlang Message Passing Errors
Erlang
A: Joseph Harrison
DOI
iDeA: An Immersive Debugger for Actors
Erlang
A: Aman Shankar Mathur, A: Burcu Kulahcioglu Ozkan, A: Rupak Majumdar
DOI
Modeling Erlang Processes as Petri Nets
Erlang
A: Jörgen Brandt, A: Wolfgang Reisig
DOI
Modelling Distributed Erlang within a Single Node
Erlang
A: Stavros Aronis, A: Viktória Fördős, A: Dániel Szoboszlay
DOI
Towards Secure Erlang Systems
Erlang
A: Alexandre Jorge Barbosa Rodrigues, A: Viktória Fördős
DOI
Typing the Wild in Erlang
Erlang
A: Nachiappan Valliappan, A: John Hughes
DOI
Understanding Formal Specifications through Good Examples
Erlang
A: Alex Gerdes, A: John Hughes, A: Nicholas Smallbone, A: Stefan Hanenberg, A: Sebastian Ivarsson, A: Meng Wang
DOI

Call for Papers

We invite three types of submissions:

  1. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages.

  2. Technical papers describing interesting contributions either in theoretical work or real world applications. Submission related to Erlang, Elixir, Scala/Akka, CloudHaskell, Lisp Flavored Erlang, OCaml, and functional programming are welcome and encouraged. Topics of interest include (but are not limited to):

    • virtual machine extensions and compilation techniques
    • implementations and interfaces of Erlang in/with other languages
    • new tools (profilers, tracers, debuggers, testing frameworks etc.)
    • language extensions
    • formal semantics, correctness and verification
    • testing Erlang programs
    • program analysis and transformation
    • Erlang-like languages and technologies
    • functional languages and multi-processing
    • concurrency in functional languages
    • functional languages and distributed computing
    • parallel programming
    • pattern based programming
    • Erlang in education

    The maximum length for technical papers is restricted to 12 pages.

  3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time.

Note the above are maximum lengths; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths.

Instructions to authors

Papers must be submitted online via EasyChair (via the “Erlang2017” event). The submission page is https://easychair.org/conferences/?conf=erlang18.

Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines http://sigplan.org/Resources/Author/#acmart-format.

Each submission must adhere to SIGPLAN’s publication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library.

Paper submissions will be considered for poster submissions in the case they are not accepted as full papers.

The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference.

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.

Related Links

Important Dates

  • Submission deadline: Fri June 15, 2018
  • Submission deadline: Wed June 20, 2018
  • Author notification: Fri July 13, 2018
  • Final submission for the publisher: Sat Aug 5, 2018
  • Workshop date: Sat, 29 September 2018
Important Dates AoE (UTC-12h)
Sat 29 Sep 2018
Erlang Workshop
Sun 5 Aug 2018
Final submission for the publisher
Fri 13 Jul 2018
Author notification
Wed 20 Jun 2018
Submission deadline
Submission Link
https://easychair.org/conferences/?conf=erlang18
Organizing Committee
Program Committee