Precise and maximal race detection from incomplete traces.

Jeff Huang, Arun K. Rajagopalan

Browse the full OOPSLA paper archive.