KIT | KIT-Bibliothek | Impressum | Datenschutz

Predicting Data Races from Program Traces

Carril Rodriguez, Luis Manuel

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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page