[erlang-questions] Erlang Workshop '13 Party
Wed Sep 25 16:44:06 CEST 2013
We wanted to let everyone know that Basho is celebrating Erlang
Workshop '13 at its offices in Cambridge, Massachusetts on Friday,
September 27 at 8:00pm. Please RSVP if you're interested:
This event is open to the public and Basho will provide food and
beverage. We will be hosting Kostis Sagonas from Uppsala University
who will be giving a talk on Concuerror, a testing tool that supports
development of concurrent Erlang programs.
Uppsala University and National Technical University of Athens
Concurrent programs are notoriously difficult to get completely error
free. This, sadly, is as true in Erlang as it is in other languages.
Specific process interleavings that occur only rarely can result in
unexpected errors that manage to puzzle and surprise even expert
programmers. Furthermore concurrency-related errors are often difficult
This talk will show some examples of such errors. More importantly, it
will introduce Concuerror, a systematic testing (aka stateless model
checking) tool that supports the test-driven development of concurrent
Erlang programs in order to detect early and eliminate the vast majority
of concurrency-related errors (e.g. data races, unexpected crashes,
deadlocks, etc.) that may occur in their execution. A salient feature of
Concuerror is that it is completely automatic and works out of the box
with existing (Eunit) test suites and in principle finds all concurrency
related errors that are triggered by a specific test. In addition, the
tool shows execution traces that lead to errors, it can
deterministically replay them, and comes with a variety of options to
speed up the exploration of possible interleavings. The talk will also
include a live demo and, hopefully, lots of interaction with the audience.
Basho Technologies, Inc.
More information about the erlang-questions