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
Article: icfpws23erlangforeword-fm000-p doi:
Message from the Chairs
Article: icfpws23erlangforeword-fm001-p doi:
Erlang 2023 Organization
Article: icfpws23erlangforeword-fm002-p doi:

Keynote

Code Analysis at WhatsApp (Keynote)
Ke Mao
(Meta, UK)
Publisher's Version Article: icfpws23erlangmain-key1-p doi:10.1145/3609022.3615585

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 Article: icfpws23erlangmain-p24-p doi:10.1145/3609022.3609414
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 Article: icfpws23erlangmain-p28-p doi:10.1145/3609022.3609415
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 Article: icfpws23erlangmain-p33-p doi:10.1145/3609022.3609416
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 Article: icfpws23erlangmain-p52-p doi:10.1145/3609022.3609417

proc time: 0.01