ICFP Workshops 2023
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
Powered by
Conference Publishing Consulting

22nd ACM SIGPLAN International Workshop on Erlang (Erlang 2023), September 4, 2023, Seattle, WA, USA

Erlang 2023 – Proceedings

Contents - Abstracts - Authors

22nd ACM SIGPLAN International Workshop on Erlang (Erlang 2023)


Title Page
Message from the Chairs
Erlang 2023 Organization


Code Analysis at WhatsApp (Keynote)
Ke Mao ORCID logo
(Meta, UK)
Publisher's Version


TLS the Erlang/OTP Way (Experience Report)
Ingela Anderton Andin ORCID logo, Raimo Niskanen ORCID logo, Péter Dimitrov ORCID logo, and Kiko Fernandez-Reyes ORCID logo
(Ericsson, Sweden)
Publisher's Version
Generation and Refinement of Testing Models
Luis Eduardo Bueso de Barrio ORCID logo, Lars-Åke Fredlund ORCID logo, Clara Benac Earle ORCID logo, Ángel Herranz ORCID logo, and Julio Mariño ORCID logo
(Universidad Politécnica de Madrid, Spain)
Publisher's Version
Mria: An Eventually Consistent Mnesia
Dmitrii Fedoseev ORCID logo, Serhii Tupchii ORCID logo, Thales Macedo Garitezi ORCID logo, and Zaiming Shi ORCID logo
(EMQ Technologies, Sweden; EMQ Technologies, Ukraine; EMQ Technologies, Brazil)
Publisher's Version
A Semantics of Core Erlang with Handling of Signals
Aurélie Kong Win Chang ORCID logo, Jérôme Feret ORCID logo, and Gregor Gössler ORCID logo
(Inria, France; University Grenoble Alpes, France; CNRS, France; Grenoble INP, France; LIG, France; ENS, France; PSL University, France)
Publisher's Version

proc time: 0.94