Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/3609022acmconferencesBook PagePublication PagesicfpConference Proceedingsconference-collections
Erlang 2023: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang
ACM2023 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
Erlang '23: 22nd ACM SIGPLAN International Workshop on Erlang Seattle WA USA 4 September 2023
ISBN:
979-8-4007-0294-5
Published:
31 August 2023
Sponsors:
Next Conference
October 12 - 18, 2025
Singapore , Singapore
Reflects downloads up to 22 Nov 2024Bibliometrics
Skip Abstract Section
Abstract

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.

Skip Table Of Content Section
SESSION: Keynote
invited-talk
Code Analysis at WhatsApp (Keynote)

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 ...

SESSION: Papers
research-article
TLS the Erlang/OTP Way (Experience Report)

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 ...

research-article
Generation and Refinement of Testing Models

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 ...

research-article
Mria: An Eventually Consistent Mnesia

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 ...

research-article
A Semantics of Core Erlang with Handling of Signals

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. ...

Contributors
  • Delft University of Technology
  • Ericsson Sweden
Please enable JavaScript to view thecomments powered by Disqus.

Recommendations

Acceptance Rates

Overall Acceptance Rate 51 of 68 submissions, 75%
YearSubmittedAcceptedRate
Erlang '1414964%
Erlang '13151280%
Erlang '11141071%
ERLANG '0810990%
ERLANG '07151173%
Overall685175%