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
It is our great pleasure to welcome you to the 22nd ACM SIGPLAN Erlang Workshop (Erlang’23), co-located as usual with the annual International Conference on Functional Programming (ICFP), held in Seattle, Washington, United States. The workshop continues to be a forum for presenting research and experience reports on all aspects of theory, implementation, and applications of the Erlang language and BEAM-related technologies, covering topics in functional programming, concurrency, distribution, and reliability.

Erlang 2023 Organization


Keynote

Code Analysis at WhatsApp (Keynote)
Ke Mao ORCID logo
(Meta, UK)
In the ever-evolving world of software development, code analysis stands as a critical component for quality and efficiency. This keynote will present an overview of code analysis tools at WhatsApp, and then delve into the techniques of dynamic and static analysis, with examples of their industrial deployments. The keynote will discuss the integration of code analysis into early stages of the software development life cycle, from continuous integration pipelines to DevOps practices.

Publisher's Version

Papers

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)
The Transport Layer Security (TLS) protocol is one of the most used protocols to ensure data privacy, integrity and authenticity on the Internet. Erlang/OTP's TLS implementation is widely used in industry, and especially in the telecommunication sector.
This paper describes an overview of the TLS protocol in the context of Erlang. We explain Erlang/OTP's TLS protocol design and implementation, optimizations, a benchmark evaluation of the Erlang TLS protocol implementation against previous Erlang/OTP's TLS implementations, and a benchmark comparison against the Go's TLS implementation.

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)
Writing property-based testing models is a challenging task. This article introduces a new tool, Faktory, which is capable of automatically generating an executable property-based testing model from less complicated sources: normal function type specifications, and traditional function calling contracts using pre- and post-conditions. Concretely, Faktory is an Elixir library which from an API annotated with executable calling contracts written using the Corsa contract checking library, automatically generates a property-based testing model in the form of a state machine implemented using the Makina state machine DSL. In the article we illustrate the functionalities of the Faktory tool using a number of examples. The first one shows how to test a functional data structure; the second shows how to improve test-case generation by reusing test results; and in the third example a stateful key-value storage is tested by first deriving an initial test model using Faktory, and then refining the generated model using the Makina model/state machine extension mechanism.

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)
Mnesia, an Erlang distributed database, serves as an embedded storage and replication layer for OTP applications requiring low read latency and high availability. EMQX is a publish-subscribe message broker supporting the MQTT protocol that uses Mnesia to replicate its internal state across the cluster. We analyze the limitations of Mnesia's replication protocol scalability in large clusters under high load. To address these limitations, we developed Mria, an extension to the Mnesia database that provides eventual consistency within a cluster and achieves better horizontal scalability. We validated Mria using a variety of testing techniques, including model checking, chaos engineering, and formal verification. Replacing Mnesia with Mria allowed us to scale the EMQX cluster to 23 nodes, handle 100 million simultaneous client sessions and achieve a higher sustained load.

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)
We introduce a small step semantics for a subset of Core Erlang modeling its monitoring and signal systems. The goal of our semantics is to enable the construction of causal explanations for property violations, which will be the object of future work. As a first axis of reflection, we chose to study the impact of the order of messages on a faulty behavior. We present our semantics and discuss some of our design choices. This work is a part of a broader project on causal debugging of concurrent programs in Erlang.

Publisher's Version

proc time: 1.11