4 papers
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…
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…
Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks
Martin Sulzmann, Kai Stadtmueller
Understanding the run-time behavior of concurrent programs is a challenging task. A popular approach is to establish a happens- before relation via vector clocks. Thus, we can iden…
Trace-Based Run-time Analysis of Message-Passing Go Programs
Martin Sulzmann, Kai Stadtmüller
We consider the task of analyzing message-passing programs by observing their run-time behavior. We introduce a purely library-based instrumentation method to trace communication e…