- Sponsor:
- sigplan
No abstract available.
Proceeding Downloads
iDeA: an immersive debugger for actors
We present iDeA, an immersive user interface for debugging concurrent actor programs communicating through asynchronous message passing. iDeA is based on the hypothesis that debugging and understanding actor programs is a cognitive task which can be ...
Understanding formal specifications through good examples
Formal specifications of software applications are hard to understand, even for domain experts. Because a formal specification is abstract, reading it does not immediately convey the expected behaviour of the software. Carefully chosen examples of the ...
Modelling distributed Erlang within a single node
This paper was motivated by a challenge we faced while re-architecting a critical component in Klarna's software stack. We wanted to increase our confidence about correctness aspects of a new distributed algorithm, developed for an Erlang system at the ...
Automatic detection of core Erlang message passing errors
Erlang's powerful communication model allows us to build high-level concurrent systems. These can, however, harbour subtle communication errors less severe than global deadlock or crashes: messages never received can degrade performance and consume ...
Typing the wild in Erlang
Developing a static type system suitable for Erlang has been of ongoing interest for almost two decades now. The challenge with retrofitting a static type system onto a dynamically typed language, such as Erlang, is the loss of flexibility in ...
Modeling Erlang processes as Petri nets
Distributed systems are more important in systems design than ever. Partitioning systems into independent, distributed components has many advantages but also brings about design challenges. The OTP framework addresses such challenges by providing ...
Towards secure Erlang systems
At Klarna we handle customer's data with utmost care since we believe protecting data is one of the most basic obligations of any companies. Achieving our goal requires more effort since the Erlang ecosystem was designed for private networks where the ...
Index Terms
- Proceedings of the 17th 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% |