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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:15
Demo 1Demos at D2.06
RedShell: Online Back-In-Time Debugging
Stefan Schulz Philipps-Universität Marburg, Christoph Bockisch Philipps-Universität Marburg
Κόμπος: A Platform for Debugging Complex Concurrent Applications
Stefan Marr Johannes Kepler University Linz, Carmen Torres Lopez , Dominik Aumayr , Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria