Erlang 2022
as the organisers put it
General Information Welcome to the website of the Erlang 2022 workshop! Series Erlang 2022 is the 21st ACM SIGPLAN Erlang Workshop, and is a satellite event of the 27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022). 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 la ...
who it's for
erlang developers, elixir developers, BEAM language engineers, static analysis engineers, tooling engineers, performance engineers, distributed systems engineers, machine learning engineers
topics
executable contracts for Elixir; gradual typing for Erlang; bidirectional type inference; Erlang static analysis with Infer; pulse reliability analysis; topple temporal taint analysis; cprof eprof fprof tracing; binary pattern matching optimisations; native implemented function (NIF) performance; actor-based reliability benchmark; federated learning on the BEAM; hot code swapping for models
| title | author | length |
|---|---|---|
| Executable Contracts for Elixir | Sergio Pérez, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund | 40m |
A small Elixir library implements executable contracts by macro-transforming code and runs pre/post checks, exception specifications and timers; it catches the… | ||
| eqWAlizer - Scaling Erlang development at WhatsApp with static typing | Ilya Klyuchnikov | 23m |
eqWAlizer is a type-checker for Erlang built at WhatsApp, open-sourced August 2022, and already applied to a significant portion of the codebase. It enforces… | ||
| Troubleshooting the Performance of a Large Erlang System | Niko Tsikoudis, Marc Sugiyama | 27m |
Hyper‑Q is a 2 million line Erlang system with ~1000 modules that virtualizes SQL; a customer query returning 16 million rows × 20 columns runs 1 minute on the… | ||
| InfERL: Scalable and Extensible Erlang Static Analysis | Akos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano | 34m |
InfERL is an open‑source Erlang front end built on Infer that compiles BEAM with preserved AST and runs pulse (reliability) and topple (temporal/taint)… | ||
| A Reliability Benchmark for Actor-Based Server Languages | Aidan Randtoul, Phil Trinder | 33m |
Designed and released Supervised Communicating Processes (SCP), implemented in Erlang/OTP and Scala/Akka with a deterministic fault injector that triggers… | ||
| CAEFL: Composable and Environment Aware Federated Learning Models | Ruomeng (Cocoa) Xu, Anna-Lito Michala, Phil Trinder | 38m |
CAEFL implements environment-aware federated learning in Elixir, using pattern matching tags from sensor behaviors to group updates and a parameter server that… | ||
| nothing matches | ||