A Survey on Hardware and Software Support for Thread Level Parallelism
RacerX: effective, static detection of race conditions and deadlocks