An efficient cache-based access anomaly detection scheme

Race Frontier: reproducing data races in parallel-program debugging

PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming

Detecting violations of sequential consistency

SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures

Restoring consistent global states of distributed computations

PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging

On-the-fly detection of data races for programs with nested fork-join parallelism

Proceedings of the 1991 ACM/IEEE conference on Supercomputing

What are race conditions?: Some issues and formalizations

ACM Letters on Programming Languages and Systems (LOPLAS)

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

Efficient detection of determinacy races in Cilk programs

Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures

Detecting data races in Cilk programs that use locks

Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures

Scalable on-the-fly detection of the first races in parallel programs

ICS '98 Proceedings of the 12th international conference on Supercomputing

Protocol-based data-race detection

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

Efficient and precise datarace detection for multithreaded object-oriented programs

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation

Scalable Monitoring Technique for Detecting Races in Parallel Programs

IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing

ReEnact: using thread-level speculation mechanisms to debug data races in multithreaded codes

Proceedings of the 30th annual international symposium on Computer architecture

A "flight data recorder" for enabling full-system multiprocessor deterministic replay

Proceedings of the 30th annual international symposium on Computer architecture

A serializability violation detector for shared-memory server programs

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation

AVIO: detecting atomicity violations via access interleaving invariants

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems

A regulated transitive reduction (RTR) for longer memory race recording

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems

Flashback: a lightweight extension for rollback and deterministic replay for software debugging

ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference

Automatically classifying benign and harmful data races using replay analysis

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation

Dynamic detection of atomic-set-serializability violations

Proceedings of the 30th international conference on Software engineering

Finding Concurrency-Related Bugs Using Random Isolation

VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation

LiteRace: effective sampling for lightweight data-race detection

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation

Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs

Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization

SigRace: signature-based data race detection

Proceedings of the 36th annual international symposium on Computer architecture

The Cilk++ concurrency platform

Proceedings of the 46th Annual Design Automation Conference

Light64: lightweight hardware support for data race detection during systematic testing of parallel programs

Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture

The Cilk++ concurrency platform

The Journal of Supercomputing

Demand-driven software race detection using hardware performance counters

Proceedings of the 38th annual international symposium on Computer architecture

Accelerating data race detection with minimal hardware support

Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part I

Data races vs. data race bugs: telling the difference with portend

ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems

ATDetector: improving the accuracy of a commercial data race detector by identifying address transfer

Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture

Acculock: Accurate and efficient detection of data races

CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization

TimeWarp: rethinking timekeeping and performance monitoring mechanisms to mitigate side-channel attacks

Proceedings of the 39th Annual International Symposium on Computer Architecture

RADISH: always-on sound and complete Ra Detection in Software and Hardware

Proceedings of the 39th Annual International Symposium on Computer Architecture

Marathon: detecting atomic-set serializability violations with conflict graphs

RV'11 Proceedings of the Second international conference on Runtime verification