Debugging Support for Multi-paradigm Concurrent Programs
With the widespread adoption of concurrent programming, debugging of non-deterministic failures becomes increasingly important. Record & replay debugging aids developers in this effort by reliably reproducing recorded bugs. Because each concurrency model is particularly suited for different tasks, developers started combining them within the same application. Record & replay solutions are typically designed for one concurrency model only. In this paper we investigate a novel multi-paradigm record & replay that is based on abstracting concurrency models to a common set of concepts and events for unified ordering-based record & replay.
This program is tentative and subject to change.
Mon 21 Oct
|16:00 - 16:40|
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands
|16:45 - 17:25|
Dominik AumayrJohannes Kepler University Linz, Austria