ICFP Workshops 2023
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)

Title Page

Message from the Chairs

Erlang 2023 Organization

Code Analysis at WhatsApp (Keynote)
Ke Mao 
(Meta, UK)

Publisher's Version

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