Showing 2019Show all
2 papers · 1 filter
cs.PL2019
Predicting All Data Race Pairs for a Specific Schedule (extended version)
Martin Sulzmann, Kai Stadtmüller
We consider the problem of data race prediction where the program's behavior is represented by a trace. A trace is a sequence of program events recorded during the execution of the…
cs.PL2019
Data Race Prediction for Inaccurate Traces
Martin Sulzmann, Kai Stadtmüller
Happens-before based data race prediction methods infer from a trace of events a partial order to check if one event happens before another event. If two two write events are unord…