Predicting Data Races from Program Traces
-
Name:
Vortrag
-
Author:
Luis Manuel Carril Rodriguez
-
Zusammenfassung
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.
-
Year:
2016
- Links:
Titel Vorname Nachname |
---|
Dr. Luis Manuel Carril Rodriguez |
Titel |
---|
Forschungsprojekt AParT - Entwurfsmustergestütze Anwendungsparallelisierung |
SRG Entwurfsmustergestützte Anwendungsparallelisierung |
Bibtex
@vortrag{,
author={Luis M. Carril},
title={Predicting Data Races from Program Traces},
year=2016,
month=Februar,
booktitle={SEPARS 2016},
abstract={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. },
pptUrl={https://ps.ipd.kit.edu/downloads/vor_2016_predicting_data_races},
}