This event has already taken place. Ticket sales are closed.

Erlang Workshop '13 Celebration

Friday, September 27, 2013 at 8:00pm
Basho Technologies, Inc.
Register
Have a question about the event? Email the event host.
  • Description
  • Time & Place
Register for Event

Celebrate another year of the Erlang Workshop at the offices of Basho Technologies, Inc., in Cambridge, Massachusetts on the eve of the event.

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.

Food and drinks will be provided.

This event is open to the public.

Transit information from Airport:

Take the Silver Line (actually a bus) from any of the Logan airport terminals to South Station.  Switch to the Red Line towards Alewife.  Exit the train at the Central Square stop.  Walk toward the front of the train to the end of the platform. Exit the station from that point.  As you reach the top of the stairs at street level, you should see Rodney's Bookstore across the street to your left.  Basho's offices are on the floor above Rodney's, at 700 Massachusetts Ave.

--

Kostis Sagonas

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

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.


Registration
  • Attendee (Free)
Register now

Friday, September 27, 2013
8:00pm

Basho Technologies, Inc.
700 Massachusetts Ave
Cambridge, MA, 02139, USA

Attendee

Free
Event registration powered by Guestlist. Learn more

Email the Event Host

Cancel
Send Email
  • The Event Host

Email Sent!

The event host will get back to you
as soon as they can.

Close Window