Welcome to the Erlang Workshop
summary
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 languages, concurrency, distribution and reliability, with a keynote that presents code analysis at WhatsApp covering static and dynamic techniques and CI integration. Invited talks present set-theoretic types for Elixir and for Erlang. Papers and reports include semantics for signal handling, testing-model generation, a remote EMQ experience report, TLS/OTP lessons, and lightning talks on mailbox typing and adding diyer to Elixir projects.
AI-written summary · about