ICFP 2021
Sun 22 - Sat 28 August 2021

General Information

Welcome to the website of the Erlang 2021 workshop!

Series

Erlang 2021 is the 20th ACM SIGPLAN Erlang Workshop, and is a satellite event of the 26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021).

Location

Just like ICFP 2021, Erlang 2021 will be virtual. More information about the format (time zone, presentation style, etc.) will be added as soon as it is finalized.

Scope

The workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang’s VM. The workshop is welcoming contributions related to any and all systems like those mentioned above.

Proceedings

As with previous years, the accepted workshop papers will be published by the ACM and will appear in the ACM Digital Library.

Goals

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

We are looking forward to your participation!

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 26 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Session 1Erlang at Erlang
20:00
10m
Day opening
Welcome
Erlang
Stavros Aronis Erlang Solutions, Sweden, Annette Bieniusa Technische Universität Kaiserslautern
20:10
30m
Talk
Graft: General Purpose Raft Consensus in Elixir
Erlang
Matthew Alan Le Brun University of Malta, Duncan Paul Attard University of Malta, Adrian Francalanza University of Malta
DOI
20:40
30m
Talk
Makina: A New QuickCheck State Machine Library
Erlang
Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Lars-Åke Fredlund Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Clara Benac Earle Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
DOI
21:10
10m
Vision and Emerging Results
Lightning Talk: Expected Application of BeamAsm
Erlang
Susumu Yamazaki Univ. of Kitakyushu
21:20
10m
Vision and Emerging Results
Lightning Talk: QuadBlockQuiz – Supply Chain Edition
Erlang
Duncan Sparrell sFractal Consulting
22:00 - 23:30
KeynoteErlang at Erlang
22:00
60m
Keynote
Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)
Erlang
Konstantinos (Kostis) Sagonas Uppsala University, Sweden
23:00
10m
Vision and Emerging Results
Lightning Talk: Using Regular Expressions in Erlang
Erlang
23:10
10m
Vision and Emerging Results
Lightning Talk: eigr.io — A Serverless Runtime on the BEAM
Erlang
Marcel Lanz eigr.io – Member
23:30 - 01:00
Session 2Erlang at Erlang
23:30
30m
Talk
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
Erlang
Brujo Benavides Erlang Ecosystem Foundation, Laura M. Castro University of A Coruña
DOI
00:00
30m
Talk
Bidirectional Typing for Erlang
Erlang
Nithin Vadukkumchery Rajendrakumar TU Kaiserslautern, Annette Bieniusa Technische Universität Kaiserslautern
DOI
00:30
10m
Vision and Emerging Results
Lightning Talk: Experience teaching Erlang/Elixir on YouTube
Erlang
Adolfo Neto Federal University of Technology - Paraná
00:40
10m
Vision and Emerging Results
Lightning Talk: AtomVM: A flyweight BEAM for microcontrollers
Erlang

Fri 27 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Session 3Erlang at Erlang
01:30
30m
Talk
What Are the Critical Security Flaws in My System?
Erlang
Viktória Fördős Cisco Systems
DOI
02:00
30m
Talk
The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network
Erlang
Sébastien Kalbusch Université Catholique de Louvain, Vincent Verpoten Université Catholique de Louvain, Peter Van Roy Université catholique de Louvain
DOI
02:30
10m
Vision and Emerging Results
Lightning Talk: The debugging tool that comes with Erlang/OTP I just learned exists after many years of using Erlang
Erlang
Peer Stritzinger Peer Stritzinger GmbH
02:40
10m
Vision and Emerging Results
More lightning talks
Erlang

Call for Papers

Overview

The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang’s VM. The workshop is welcoming contributions related to any and all systems like those mentioned above.

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

Submissions

This year we invite three types of submissions:

  • Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). Submission related to Erlang, Elixir, Lisp Flavored Erlang, and topics in functional, concurrent and distributed programming are welcome and encouraged. The maximum length for technical papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome.

  • Practice and application papers describing uses of Erlang and related languages in the “real-world”, 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 particular problems, etc. The maximum length for the practice and application papers is restricted to 12 pages, but short papers (max. 6 pages) are also welcome.

  • Lightning talks describing topics related to the workshop goals that allow participants to present and demonstrate projects and preliminary work in academia and industry. Presentations in this category will be given at most an hour of shared simultaneous presentation time, will not be part of the peer review process and will not be part of the formal proceedings. Notification of acceptance will be continuous.

Instructions to authors

Submission

Submissions must adhere to SIGPLAN’s republication policy (http://sigplan.org/Resources/Policies/Republication/), and authors should be aware of ACM’s policies on plagiarism (https://www.acm.org/publications/policies/plagiarism). Program Committee members are allowed to submit papers, but their papers will be held to a higher standard.

Papers must be submitted online via HotCRP at:

https://erlang21.hotcrp.com

Lightning talks can be submitted here: https://forms.gle/LUAVy8p4CkZMy1jT6

Formatting

Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the acmart format, with the sigplan sub-format for ACM proceedings. For details, see:

http://www.sigplan.org/Resources/Author/#acmart-format

It is recommended to use the review option when submitting a paper; this option enables line numbers for easy reference in reviews.

Supplementary material

Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball.

Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository.

Artifacts

Authors of accepted papers are encouraged to make auxiliary material (artifacts like source code, test data, etc.) available with their paper. They can opt to have these artifacts published alongside their paper in the ACM Digital Library (copyright of artifacts remains with the authors).

If an accepted paper’s artifacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artifacts Available badge (https://www.acm.org/publications/policies/artifact-review-badging#available). Applications for such a badge can be made after paper acceptance and will be reviewed by the PC co-chairs.

Proceedings

As with previous years, the accepted workshop papers will be published by the ACM and will appear in the ACM Digital Library.

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

For more information, please see ACM Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and ACM Author Rights (http://authors.acm.org/main.html).

Accepted lightning talks will be posted on the workshop’s website, but not formally published in the proceedings.

Call for Lightning Talks

Overview

The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang and other BEAM-related languages, to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala. Moreover, several newer programming languages, such as Elixir, have been designed atop Erlang’s VM. The workshop is welcoming contributions related to any and all systems like those mentioned above.

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

Submissions

Lightning talks describe topics related to the workshop goals that allow participants to present and demonstrate projects and preliminary work in academia and industry.
Presentations of lightning talks will be given 5 mins of presentation time. Submissions of proposals will not be part of the peer review process and will not be part of the formal proceedings. Notification of acceptance will be continuous.

Submission

Lightning talks can be submitted here: https://forms.gle/LUAVy8p4CkZMy1jT6

The deadline for submission is August 23rd.

Accepted lightning talks will be posted on the workshop’s website, but not formally published in the proceedings.

We are striving to be an open and supporting tech community, but - unfortunately - we are nowhere near as diverse as we would wish to be. We believe that everybody, regardless of their age, gender, race, sexual orientation, religion, nationality, socioeconomic background etc. should feel welcome and comfortable. Our event follows the ACM Code of Conduct Policy.

While keeping in mind that this year ICFP has announced a discounted registration fee of 10$ for anyone that needs it, we are happy to announce that our community’s supporting sponsors, Erlang Solutions, and the Erlang Ecosystem Foundation, have agreed, apart from supporting ICFP itself, to also offer Diversity & Inclusion Scholarships to fully cover the registration fee for anyone that wants to attend the Erlang workshop and other events of ICFP, and cannot afford the discounted registration. Our goal is to increase the diversity of attendees and offer support to those that would otherwise not be able to attend. It is primarily aimed at (but not restricted to) students, women, people from ethnic minorities and people with disabilities.

If you wish to apply for the Diversity & Inclusion Scholarship, please fill in the form. Your application will be reviewed by the Erlang Workshop chairs, who are committed to protect the anonymity of applicants; application data will be used only for the scholarship evaluation.

The deadline for applications is August 17, 2021. Recipients will be notified on a rolling basis, no later than August 19, 2021.

All applicants will be notified via e-mail with conference registration details.