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)

Frontmatter

Title Page
Message from the Chairs
Erlang 2023 Organization

Keynote

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

Papers

TLS the Erlang/OTP Way (Experience Report)
Ingela Anderton Andin, Raimo Niskanen, Péter Dimitrov, and Kiko Fernandez-Reyes
(Ericsson, Sweden)
Publisher's Version
Generation and Refinement of Testing Models
Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, and Julio Mariño
(Universidad Politécnica de Madrid, Spain)
Publisher's Version
Mria: An Eventually Consistent Mnesia
Dmitrii Fedoseev, Serhii Tupchii, Thales Macedo Garitezi, and Zaiming Shi
(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, Jérôme Feret, and Gregor Gössler
(Inria, France; University Grenoble Alpes, France; CNRS, France; Grenoble INP, France; LIG, France; ENS, France; PSL University, France)
Publisher's Version

proc time: 1.45