Erlang 2023
as the organisers put it
General Information Welcome to the website of the Erlang 2023 workshop! Series Erlang 2023 is the 22nd ACM SIGPLAN Erlang Workshop and is a satellite event of the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023). 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 ...
who it's for
BEAM language developers, Elixir developers, language researchers, runtime engineers, distributed systems engineers, testing engineers, devops and CI engineers
topics
set-theoretic types for Elixir; mailbox typing for Erlang; Core Erlang signal semantics; Dialyzer integration for Elixir; executable state-machine testing models; Mnesia eventual consistency (Mria); Foster traffic generator (WhatsApp); Infer Erlang frontend static analysis; CI integration for static and dynamic analysis; trace-based chaos testing and validation
| title | author | length |
|---|---|---|
| Welcome to the Erlang Workshop | Kiko Fernandez-Reyes, Burcu Kulahcioglu Ozkan | 07m |
Workshop overview presents a small program with 5 submissions, 4 accepted and an even split of 50% research and 50% experience reports. The program covers BEAM… | ||
| Keynote: Code Analysis | Ke Mao | 47m |
WhatsApp builds two production systems: Foster: privacy‑first spec‑based traffic generator that simulates client and server xmpp flows using biased random… | ||
| A semantics of Core Erlang with handling of signals | Aurélie Kong Win Chang, Jerome Feret, Gregor Gössler | 22m |
A formal small-step semantics for a subset of Core Erlang models asynchronous outbox of signals and both monitor vs symmetric links, including concrete signal… | ||
| Lightning Talk: How To Add Dialyzer To An Existing Elixir Project Without Your... | Noah Betzen | 14m |
Adds Dialyzer to an existing Elixir codebase by running mix dialyzer, generating a granular ignore file (use --format ignore_file strict) to silence current… | ||
| Lightning Talk: Towards Mailbox Typing for Erlang | Simon Fowler, Duncan Paul Attard, Simon J. Gay, Phil Trinder | 14m |
Mailbox types assign a state to a process mailbox as a commutative regular expression to statically detect protocol violations, payload mismatches, and… | ||
| Generation and Refinement of Testing Models | Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño | 29m |
Faktory is an Elixir library that generates executable Makina state-machine models from Corsa-annotated APIs, mapping each public function to a command and… | ||
| Mria: an eventually consistent Mnesia | Dmitrii Fedoseev, Serhii Tupchii, Thales Macedo Garitezi, Zaiming Shi | 30m |
Mria is an extension to Mnesia that trades strict serializability for eventual consistency within a cluster by splitting the cluster into small core nodes and… | ||
| Invited Talk: A Type System for Elixir | Giuseppe Castagna, Guillaume Duboc, José Valim | 44m |
A formal calculus uses set-theoretic types (union, intersection, negation, singletons) and implements pattern/guard inference that computes possible/surely… | ||
| nothing matches | ||