SOSP
1997
ACM
13 years 5 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
SIGCSE
2000
ACM
13 years 9 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...