Pace condition detection for debugging shared-memory parallel programs

What are race conditions?: Some issues and formalizations

ACM Letters on Programming Languages and Systems (LOPLAS)

Data flow equations for explicitly parallel programs

PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming

Shared memory consistency conditions for non-sequential execution: definitions and programming strategies

SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures

Compile-time support for efficient data race detection in shared-memory parallel programs

PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging

Eraser: a dynamic data race detector for multithreaded programs

ACM Transactions on Computer Systems (TOCS)

Eraser: a dynamic data race detector for multi-threaded programs

Proceedings of the sixteenth ACM symposium on Operating systems principles

Protocol-based data-race detection

SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools

TRaDe: Data Race Detection for Java

ICCS '01 Proceedings of the International Conference on Computational Science-Part II

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution

Proceedings of the 13th International Symposium on Distributed Computing

Efficient event generation for detecting races

CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1