- Sponsor:
- sigplan
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.
Proceeding Downloads
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 ...
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 ...
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 ...
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 ...
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. ...
Index Terms
- Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang
Recommendations
Acceptance Rates
Year | Submitted | Accepted | Rate |
---|---|---|---|
Erlang '14 | 14 | 9 | 64% |
Erlang '13 | 15 | 12 | 80% |
Erlang '11 | 14 | 10 | 71% |
ERLANG '08 | 10 | 9 | 90% |
ERLANG '07 | 15 | 11 | 73% |
Overall | 68 | 51 | 75% |