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

What are race conditions?: Some issues and formalizations

ACM Letters on Programming Languages and Systems (LOPLAS)

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

A bibliography of parallel debuggers, 1993 edition

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

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

On-the-fly detection of access anomalies in nested parallel loops

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

Analyzing stores and references in a parallel symbolic language

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming

An annotated bibliography of interactive program steering

ACM SIGPLAN Notices

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

Efficient detection of determinacy races in Cilk programs

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

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

Clock Trees: Logical Clocks for Programs with Nested Parallelism

IEEE Transactions on Software Engineering

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

The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization

IEEE Transactions on Parallel and Distributed Systems

RecPlay: a fully integrated practical record/replay system

ACM Transactions on Computer Systems (TOCS)

Object race detection

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

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)

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

A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs

WOMPAT '01 Proceedings of the International Workshop on OpenMP Applications and Tools: OpenMP Shared Memory Parallel Programming

Detection of Races and Control-Flow Nondeterminism

LCR '98 Selected Papers from the 4th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers

The nesC language: A holistic approach to networked embedded systems

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation

RacerX: effective, static detection of race conditions and deadlocks

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles

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

KISS: keep it simple and sequential

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

On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs

Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures

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

ACM Transactions on Programming Languages and Systems (TOPLAS)

Safe futures for Java

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

RaceTrack: efficient detection of data race conditions via adaptive tracking

Proceedings of the twentieth ACM symposium on Operating systems principles

Effective static race detection for Java

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

Accurate and efficient filtering for the Intel thread checker race detector

Proceedings of the 1st workshop on Architectural and system support for improving software dependability

Conditional must not aliasing for static race detection

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Automatically classifying benign and harmful data races using replay analysis

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

Race directed random testing of concurrent programs

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

Dynamic recognition of synchronization operations for improved data race detection

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

FastTrack: efficient and precise dynamic race detection

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

LiteRace: effective sampling for lightweight data-race detection

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

Efficient dependency tracking for relevant events in concurrent systems

Distributed Computing

Static data race detection for concurrent programs with asynchronous calls

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

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

Data race: tame the beast

The Journal of Supercomputing

Scalable thread visualization for debugging data races in OpenMP programs

GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing

Fast and accurate static data-race detection for concurrent programs

CAV'07 Proceedings of the 19th international conference on Computer aided verification

Estimating and exploiting potential parallelism by source-level dependence profiling

EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I

Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems

Parallel Computing

Safe parallel programming using dynamic dependence hints

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

Efficient data race detection for distributed memory parallel programs

Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis

Sound predictive race detection in polynomial time

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

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

A practical tool for detecting races in OpenMP programs

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

Transparently reconciling transactions with locking for java synchronization

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

Scalable and precise dynamic datarace detection for structured parallelism

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation

On-the-fly detection of data races in OpenMP programs

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

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

Proceedings of the 39th Annual International Symposium on Computer Architecture

Efficient race verification for debugging programs with openMP directives

PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies

Dynamic instrumentation for nested fork-join parallelism in OpenMP programs

FGIT'12 Proceedings of the 4th international conference on Future Generation Information Technology

Practical static race detection for Java parallel loops

Proceedings of the 2013 International Symposium on Software Testing and Analysis