Race Frontier: reproducing data races in parallel-program debugging

An efficient cache-based access anomaly detection scheme

ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems

Improving the accuracy of data race detection

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

Detecting data races on weak memory systems

ISCA '91 Proceedings of the 18th annual international symposium on Computer architecture

Detecting access anomalies in programs with critical sections

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

What are race conditions?: Some issues and formalizations

ACM Letters on Programming Languages and Systems (LOPLAS)

Parallel program performance metrics: a comprison and validation

Proceedings of the 1992 ACM/IEEE conference on Supercomputing

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

Optimal tracing and replay for debugging shared-memory parallel programs

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

Programming DEC-Alpha based multiprocessors the easy way (extended abstract)

SPAA '94 Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures

Debugging race conditions in message-passing programs

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

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

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

Deterministic replay of Java multithreaded applications

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

Critical Path Profiling of Message Passing and Shared-Memory Programs

IEEE Transactions on Parallel and Distributed Systems

Basic compiler algorithms for parallel programs

Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming

RecPlay: a fully integrated practical record/replay system

ACM Transactions on Computer Systems (TOCS)

A Protocol-Centric Approach to on-the-Fly Race Detection

IEEE Transactions on Parallel and Distributed Systems

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

Non-Intrusive Detection of Synchronization Errors Using Execution Replay

Automated Software Engineering

Pointer analysis for structured parallel programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Determining Possible Event Orders by Analyzing Sequential Traces

IEEE Transactions on Parallel and Distributed Systems

Cyclic Debugging Using Execution Replay

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

Space-Efficient First Race Detection in Shared Memory Programs with Nested Parallelism

PARA '02 Proceedings of the 6th International Conference on Applied Parallel Computing Advanced Scientific Computing

A Practical Method for On-the-Fly Data Race Detection

PARA '02 Proceedings of the 6th International Conference on Applied Parallel Computing Advanced Scientific Computing

Race conditions: a case study

Journal of Computing Sciences in Colleges

Compactly representing parallel program executions

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming

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

Proceedings of the 30th annual international symposium on Computer architecture

Debugging shared memory parallel programs using record/replay

Future Generation Computer Systems - Tools for program development and analysis

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

On-the-fly detection of access anomalies

ACM SIGPLAN Notices - Best of PLDI 1979-1999

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

ACM Transactions on Programming Languages and Systems (TOPLAS)

A serializability violation detector for shared-memory server programs

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

Tdb: a source-level debugger for dynamically translated programs

Proceedings of the sixth international symposium on Automated analysis-driven debugging

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

A debugger for flow graph based parallel applications

Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging

On-the-fly race detection in multi-threaded programs

PADTAD '08 Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging

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

Unit testing for multi-threaded Java programs

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

A review of race detection mechanisms

CSR'06 Proceedings of the First international computer science conference on Theory and Applications

A practical tool for detecting races in OpenMP programs

PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies