Sciweavers

FATES
2006
Springer
13 years 8 months ago
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets
We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algori...
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
FATES
2006
Springer
13 years 8 months ago
Aspects for Trace Monitoring
A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a conve...
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laur...