Wed 5 Apr 2017 11:30 - 12:15 at D2.06 - Demo 1

With the omnipresence of multicore processors, developers combine various concurrency abstractions such as actors, communicating sequential processes, or fork/join programming to utilize the available parallelism. Unfortunately, when we debug such systems today, we need to reason about low-level memory accesses, locks, and thread pools, because debuggers rarely know about actors, messages, channels, or fork/join tasks.

With Kómpos, we present a concurrent debugger that is designed to enable us to reason about our programs on the level of these abstractions. We will demonstrate some of the features of Kómpos and discuss the research challenges for building a concurrent debugger for a wide range of concurrency abstractions.

Wed 5 Apr

programming-2017-Demos
10:45 - 12:15: Demos - Demo 1 at D2.06
programming-2017-Demos10:45 - 11:30
Demonstration
Stefan SchulzPhilipps-Universität Marburg, Christoph BockischPhilipps-Universität Marburg
programming-2017-Demos11:30 - 12:15
Demonstration
Stefan MarrJohannes Kepler University Linz, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria
Pre-print