a static data race analysis tool (1993)

by WARLOCK
Venue:In USENIX Winter Technical Conference