Predicting Data Races from Program Traces
Abstract (englisch):
We present an approach to detect and reproduce data races from a program trace in non-observed interleavings modelling the trace with a process algebra. The approach detects and generate a scheduling to reproduce the trace consistently, reducing probe effects during debugging.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 2016 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000070939 |
| Veranstaltung | International Working Group Software Engineering for Parallel Systems (SEPARS), Technical University of Munich (TUM), Garching, Germany, 23.02.2016 |