General Information
Welcome to the website of the Erlang 2024 workshop!
Series
Erlang 2024 is the 23rd ACM SIGPLAN Erlang Workshop and is a satellite event of the 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024).
Scope
The workshop aims to bring together the open source, academic, and industrial communities of Erlang, other BEAM-related languages, actor model programming, distribution, and concurrency 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 welcomes 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 in 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, actor model programming, distribution, concurrency, etc.
We are looking forward to your participation!
Diversity & Inclusion Scholarships
Thanks to our Diversity and Inclusion sponsor, Remote, we can offer Diversity & Inclusion Scholarships. The goal of this scheme is to increase the diversity of attendees and offer support to those that would not otherwise be able to attend. It is primarily aimed at (but not restricted to) women, people from ethnic minorities, and people with disabilities.
If you wish to apply for the Diversity & Inclusion Scholarship, please fill in the form.
The workshop chairs will review the applications. They are committed to protect the anonymity of applicants; all application data will only be used for the scholarship evaluation.
- Deadline for Applications: August 12, 2024
- Notification: on a rolling basis, no later than August 16, 2024
Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | Welcome & KeynoteErlang at Meeting 4 Chair(s): Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea | ||
09:00 5mTalk | Welcome to the Erlang Workshop Erlang | ||
09:05 55mKeynote | (Keynote) Environmentally sustainable software and data architectures Erlang | ||
10:00 30mTalk | Unsafe Impedance: safe languages and safe by design software Erlang Pre-print |
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 30mTalk | Same same but different: A Comparative Analysis of Static Type Checkers in Erlang Erlang Florian Berger University of Kaiserslautern-Landau, Albert Schimpf University of Kaiserslautern-Landau, Annette Bieniusa University of Kaiserslautern-Landau, Stefan Wehr Offenburg University of Applied Sciences | ||
11:30 30mTalk | Nominal Types for Erlang Erlang Isabell Huang , John Högberg , Tobias Wrigstad Uppsala University, Kiko Fernandez-Reyes Ericsson, Sweden | ||
12:00 30mTalk | Modeling Erlang Compiler IR as SMT Formulas Erlang |
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 30mTalk | Erla+: Translating TLA+ Models into Executable Actor-Based Implementations Erlang Marian Hristov University of Kaiserslautern-Landau, Annette Bieniusa University of Kaiserslautern-Landau DOI | ||
14:30 30mTalk | Controlled Scheduling of Concurrent Elixir Programs Erlang Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Lars-Åke Fredlund Universidad Politécnica de Madrid, Clara Benac Earle Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid | ||
15:00 30mTalk | Is this really a refactoring? Automated equivalence checking for Erlang projects Erlang Bendegúz Seres Eötvös Loránd University, Dániel Horpácsi Eötvös Loránd University, Simon Thompson IOHK, University of Kent, and ELTE |
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 30mTalk | Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception to Production Erlang | ||
16:30 30mTalk | The Benefits of Tierless Elixir/Potato for Engineering IoT Systems Erlang Solaris Li University of Glasgow, Phil Trinder University of Glasgow, Christophe De Troyer Vrije Universiteit Brussel, Mart Lubbers Radboud University Nijmegen, Adrian Ramsingh Sia Fusion Ltd | ||
17:00 30mTalk | Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors Erlang |
Unscheduled Events
Not scheduled Talk | Lightning Talk Erlang |
Accepted Papers
Call for Lightning Talks
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.
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/R43wVzfA1VBEx6p87
The deadline for submission is August 9, AoE.
Accepted lightning talks will be posted on the workshop’s website, but not formally published in the proceedings.
Call for Papers
Overview
The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, other BEAM-related languages, actor model programming, distribution, and concurrency 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, actor model 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.). Submissions 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.
Important dates:
- Paper submission: May 30, 2024
- Notification: June 27, 2024
- Camera Ready: July 18, 2024
Deadlines are anywhere on Earth.
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:
A form for lightning talks will be announced in June 2024.
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.
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.
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.