Warlock: A static data race analysis tool (1993)

by N Sterling
Venue:In USENIX Winter Technical Conference