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.
Mon 21 Oct
|16:00 - 16:40|
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), The NetherlandsDOI Pre-print File Attached
|16:45 - 17:25|
Dominik AumayrJohannes Kepler University Linz, AustriaLink to publication DOI