Looking for new career opportunities? Get in touch so we can help.

Verification of Concurrent Programs

February 21, 19:00

Berlin, Germany
This location is shown only to members, Schlesische Straße 29-30, 10997 Berlin

External Registration

Open Registration Page

Dear C++ Community, 
Out February's meet up will be held at Native Instruments. Susanne van den Elsen will talk about verification of concurrent programs.
Rough schedule:
18:45 Doors open  19:30 Talk starts 22:00 Doors close
We will have some snacks and drinks for you.
There is a big gate to the backyard that will be closed at 20:00h, so please be on time. The meetup will be in the last yard before the river (as shown in the picture below). Should you need to leave before 22:00, someone will be there to let you out. 

Abstract
In this talk, I will discuss a number of tools that detect concurrency errors or give guarantees about their absence. Concurrency is notoriously hard to get right. First of all, it introduces a new class of errors. For example, multiple threads operating on shared data may be involved in a data race and synchronisation mechanisms, when not applied correctly, can introduce deadlock or thread starvation. What’s more, a concurrent program can have many possible executions, each of which may demonstrate different behaviour. This makes such programs hard to reason about. I will give a short introduction to ThreadSanizer and Helgrind and some techniques used in these tools. Then I will discuss systematic testing approaches.

Die Berlin C++ Meetup Gruppe Die Berlin C++ Meetup Gruppe

Propose talk to Die Berlin C++ Meetup Gruppe