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: 0.64