Eraser: a dynamic data race detector for multithreaded programs

Authors:
Stefan Savage;Michael Burrows;Greg Nelson;Patrick Sobalvarro;Thomas Anderson
Affiliations:
Univ. of Washington, Seattle;Digital Equipment Corp., Palo Alto, CA;Digital Equipment Corp., Palo Alto, CA;Digital Equipment Corp., Palo Alto, CA;Univ. of California at Berkeley, Berkeley
Venue:
ACM Transactions on Computer Systems (TOCS)
Year:
1997

Citing 14
Cited 375

An empirical comparison of monitoring algorithms for access anomaly detection

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Detecting access anomalies in programs with critical sections

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
Pace condition detection for debugging shared-memory parallel programs

Pace condition detection for debugging shared-memory parallel programs
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
ATOM: a system for building customized program analysis tools

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Interrupts as threads

ACM SIGOPS Operating Systems Review
Extensibility safety and performance in the SPIN operating system

SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Petal: distributed virtual disks

Proceedings of the seventh international conference on Architectural support for programming languages and operating systems
Shasta: a low overhead, software-only approach for supporting fine-grain shared memory

Proceedings of the seventh international conference on Architectural support for programming languages and operating systems
Online data-race detection via coherency guarantees

OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Experience with processes and monitors in Mesa

Communications of the ACM
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM

Protocol-based data-race detection

SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
RecPlay: a fully integrated practical record/replay system

ACM Transactions on Computer Systems (TOCS)
A study of common pitfalls in simple multi-threaded programs

Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
jRapture: A Capture/Replay tool for observation-based testing

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Type-based race detection for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Using meta-level compilation to check FLASH protocol code

ACM SIGPLAN Notices
Dynamic software testing of MPI applications with umpire

Proceedings of the 2000 ACM/IEEE conference on Supercomputing
Using meta-level compilation to check FLASH protocol code

ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Bugs as deviant behavior: a general approach to inferring errors in systems code

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
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
The apprentice challenge

ACM Transactions on Programming Languages and Systems (TOPLAS)
An Automated Verification Method for Distributed Systems Software Based on Model Extraction

IEEE Transactions on Software Engineering
Isolating failure-inducing thread schedules

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Tracking down software bugs using automatic anomaly detection

Proceedings of the 24th International Conference on Software Engineering
Using redundancies to find errors

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
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)
From symptom to cause: localizing errors in counterexample traces

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Types for atomicity

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Type-safe multithreading in cyclone

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Using redundancies to find errors

ACM SIGSOFT Software Engineering Notes
Modeling Multithreaded Applications Using Petri Nets

International Journal of Parallel Programming
Types for Safe Locking

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Thread-Modular Verification for Shared-Memory Programs

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Cyclic Debugging Using Execution Replay

ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Software Analysis and Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
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
A type and effect system for atomicity

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Hybrid dynamic data race detection

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Efficient on-the-fly data race detection in multithreaded C++ programs

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Compactly representing parallel program executions

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Defensive programming: using an annotation toolkit to build DoS-resistant software

ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
Using model checking to debug device firmware

ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
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
DISE: a programmable macro engine for customizing applications

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
RacerX: effective, static detection of race conditions and deadlocks

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Atomizer: a dynamic atomicity checker for multithreaded programs

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Overview of the Runtime Verification Tool Java PathExplorer

Formal Methods in System Design
On-the-fly detection of access anomalies

ACM SIGPLAN Notices - Best of PLDI 1979-1999
Race checking by context inference

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
KISS: keep it simple and sequential

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
iWatcher: Efficient Architectural Support for Software Debugging

Proceedings of the 31st annual international symposium on Computer architecture
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Formal Methods in System Design
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

Formal Methods in System Design
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software

QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Low-overhead memory leak detection using adaptive statistical profiling

ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Validating structural properties of nested objects

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants

Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture
iWatcher: Simple, General Architectural Support for Software Debugging

IEEE Micro
Too Darned Big to Test

Queue - Quality Assurance
Finding bugs is easy

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

ACM Transactions on Programming Languages and Systems (TOPLAS)
Rewriting-Based Techniques for Runtime Verification

Automated Software Engineering
Defensive programming: using an annotation toolkit to build DoS-resistant software

OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Using model checking to debug device firmware

OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Efficient and flexible architectural support for dynamic monitoring

ACM Transactions on Architecture and Code Optimization (TACO)
A serializability violation detector for shared-memory server programs

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Generating error traces from verification-condition counterexamples

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Automated type-based analysis of data races and atomicity

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Scaling model checking of dataraces using dynamic information

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Preventing race condition attacks on file-systems

Proceedings of the 2005 ACM symposium on Applied computing
Exploiting Purity for Atomicity

IEEE Transactions on Software Engineering
BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging

Proceedings of the 32nd annual international symposium on Computer Architecture
Dynamic analysis of java applications for multithreaded antipatterns

WODA '05 Proceedings of the third international workshop on Dynamic analysis
Modular verification of multithreaded programs

Theoretical Computer Science
Combining test case generation and runtime verification

Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Code aware resource management

Proceedings of the 5th ACM international conference on Embedded software
AtomCaml: first-class atomicity via rollback

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Finding application errors and security flaws using PQL: a program query language

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
Optimized run-time race detection and atomicity checking using partial discovered types

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Autolocker: synchronization inference for atomic sections

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Runtime Analysis of Atomicity for Multithreaded Programs

IEEE Transactions on Software Engineering
Types for safe locking: Static race detection for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code

IEEE Transactions on Software Engineering
Dependable software needs pervasive debugging

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Event-driven programming for robust software

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
High-confidence operating systems

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Artemis: practical runtime monitoring of applications for execution anomalies

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Web application characterization through directed requests

Proceedings of the 2006 international workshop on Dynamic systems analysis
HeapMon: a helper-thread approach to programmable, automatic, and low-overhead memory bug detection

IBM Journal of Research and Development
Producing scheduling that causes concurrent programs to fail

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Concurrent deadlock detection in parallel programs

International Journal of Computers and Applications
Improving instruction cache performance in OLTP

ACM Transactions on Database Systems (TODS)
Optimistic synchronization-based state-space reduction

Formal Methods in System Design
AVIO: detecting atomicity violations via access interleaving invariants

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Scheduling-independent threads and exceptions in SHIM

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
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
Log-based architectures for general-purpose monitoring of deployed code

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

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type inference against races

Science of Computer Programming
Fault detection in multi-threaded c++ server applications

Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
Scaling model checking of dataraces using dynamic information

Journal of Parallel and Distributed Computing
Flashback: a lightweight extension for rollback and deterministic replay for software debugging

ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Reachability Testing of Concurrent Programs

IEEE Transactions on Software Engineering
Adaptive Online Program Analysis

ICSE '07 Proceedings of the 29th international conference on Software Engineering
CheckFence: checking consistency of concurrent data types on relaxed memory models

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Automatically classifying benign and harmful data races using replay analysis

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Goldilocks: a race and transaction-aware java runtime

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Thread-modular shape analysis

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Iterative context bounding for systematic testing of multithreaded programs

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Reasoning about SMP in FreeBSD

BSDC'03 Proceedings of the BSD Conference 2003 on BSD Conference
Safe at any speed: fast, safe parallelism in servers

HOTDEP'06 Proceedings of the 2nd conference on Hot Topics in System Dependability - Volume 2
TOCTTOU vulnerabilities in UNIX-style file systems: an anatomical study

FAST'05 Proceedings of the 4th conference on USENIX Conference on File and Storage Technologies - Volume 4
Magpie: online modelling and performance-aware systems

HOTOS'03 Proceedings of the 9th conference on Hot Topics in Operating Systems - Volume 9
Checking system rules using system-specific, programmer-written compiler extensions

OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
CP-Miner: a tool for finding copy-paste and related bugs in operating system code

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
How to shadow every byte of memory used by a program

Proceedings of the 3rd international conference on Virtual execution environments
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants

IEEE Micro
Detecting data races using dynamic escape analysis based on read barrier

VM'04 Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3
Fault Detection in Multi-Threaded C++ Server Applications

Electronic Notes in Theoretical Computer Science (ENTCS)
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ

Electronic Notes in Theoretical Computer Science (ENTCS)
Instrumenting where it hurts: an automatic concurrent debugging technique

Proceedings of the 2007 international symposium on Software testing and analysis
Healing data races on-the-fly

Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging
Rx: Treating bugs as allergies—a safe method to survive software failures

ACM Transactions on Computer Systems (TOCS)
RELAY: static race detection on millions of lines of code

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A study of interleaving coverage criteria

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs

Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Triage: diagnosing production run failures at the user's site

Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
/*icomment: bugs or bad comments?*/

Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
A study of interleaving coverage criteria

The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools

Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Safe manual memory management

Proceedings of the 6th international symposium on Memory management
Steps towards cache-resident transaction processing

VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Exceptional situations and program reliability

ACM Transactions on Programming Languages and Systems (TOPLAS)
Runtime race detection for multi-threaded C++ server applications

SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
Distributed Watchpoints: Debugging Large Modular Robot Systems

International Journal of Robotics Research
Parallel-stage decoupled software pipelining

Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
Spice: speculative parallel iteration chunk execution

Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements

Proceedings of the 2007 ACM/IEEE conference on Supercomputing
Atomizer: A dynamic atomicity checker for multithreaded programs

Science of Computer Programming
jPredictor: a predictive runtime analysis tool for java

Proceedings of the 30th international conference on Software engineering
Dynamic detection of atomic-set-serializability violations

Proceedings of the 30th international conference on Software engineering
Race directed random testing of concurrent programs

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Efficient program execution indexing

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Types for atomicity: Static checking and inference for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallelizing dynamic information flow tracking

Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
RaceTM: detecting data races using transactional memory

Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
Atom-Aid: Detecting and Surviving Atomicity Violations

ISCA '08 Proceedings of the 35th Annual International Symposium on Computer Architecture
Flexible Hardware Acceleration for Instruction-Grain Program Monitoring

ISCA '08 Proceedings of the 35th Annual International Symposium on Computer Architecture
Racer: effective race detection using aspectj

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
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
Programming shared memory multiprocessors with deterministic message-passing concurrency: compiling SHIM to Pthreads

Proceedings of the conference on Design, automation and test in Europe
Decoupling dynamic program analysis from execution in virtual environments

ATC'08 USENIX 2008 Annual Technical Conference on Annual Technical Conference
Verify Your Runs

Verified Software: Theories, Tools, Experiments
On Race Vulnerabilities in Web Applications

DIMVA '08 Proceedings of the 5th international conference on Detection of Intrusions and Malware, and Vulnerability Assessment
Verifying correct usage of atomic blocks and typestate

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
A programming model for concurrent object-oriented programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Randomized active atomicity violation detection in concurrent programs

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Performance profiling with EndoScope, an acquisitional software monitoring framework

Proceedings of the VLDB Endowment
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
The theory of deadlock avoidance via discrete control

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CTrigger: exposing atomicity violation bugs from their hiding places

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
ISOLATOR: dynamically ensuring isolation in comcurrent programs

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Architectural support for shadow memory in multiprocessors

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Elyze: enabling safe parallelism in event-driven servers

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Runtime monitoring on multicores via OASES

ACM SIGOPS Operating Systems Review
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
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
A case for an interleaving constrained shared-memory multi-processor

Proceedings of the 36th annual international symposium on Computer architecture
SigRace: signature-based data race detection

Proceedings of the 36th annual international symposium on Computer architecture
ECMon: exposing cache events for monitoring

Proceedings of the 36th annual international symposium on Computer architecture
State-space exploration for concurrent algorithms under weak memory orderings: (preliminary version)

ACM SIGARCH Computer Architecture News
Software Profiling for Deterministic Replay Debugging of User Code

Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
A genetic programming approach to automated software repair

Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Multicore Scheduling for Lightweight Communicating Processes

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Asserting and checking determinism for multithreaded programs

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
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
Saturation-based testing of concurrent programs

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
ConcJUnit: unit testing for concurrent programs

PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Debugging GPU stream programs through automatic dataflow recording and visualization

ACM SIGGRAPH Asia 2009 papers
PRES: probabilistic replay with execution sketching on multiprocessors

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay

Electronic Notes in Theoretical Computer Science (ENTCS)
Unit testing for multi-threaded Java programs

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
MulticoreSDK: a practical and efficient data race detector for real-world applications

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Forcing small models of conditions on program interleaving for detection of concurrent bugs

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Predictive Typestate Checking of Multithreaded Java Programs

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Multithreaded java program test generation

IBM Systems Journal
Multithreaded testing of program interfaces

Programming and Computing Software
Finding concurrency bugs with context-aware communication graphs

Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Symbolic Predictive Analysis for Concurrent Programs

FM '09 Proceedings of the 2nd World Congress on Formal Methods
JVM Independent Replay in Java

Electronic Notes in Theoretical Computer Science (ENTCS)
Combined Static and Dynamic Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamically checking ownership policies in concurrent c/c++ programs

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent Java Test Generation as a Search Problem

Electronic Notes in Theoretical Computer Science (ENTCS)
Temporal Assertions using AspectJ

Electronic Notes in Theoretical Computer Science (ENTCS)
Effects for cooperable and serializable threads

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
ConMem: detecting severe concurrency bugs through an effect-oriented approach

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
ParaLog: enabling and accelerating online parallel monitoring of multithreaded applications

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
Parallel dynamic analysis on multicores with aspect-oriented programming

Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Race analysis for systemc using model checking

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Experiments with test case generation and runtime analysis

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Execution synthesis: a technique for automated software debugging

Proceedings of the 5th European conference on Computer systems
Dynamic characterization of web application interfaces

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Type systems for distributed data sharing

SAS'03 Proceedings of the 10th international conference on Static analysis
OpenMP support in the Intel® thread checker

WOMPAT'03 Proceedings of the OpenMP applications and tools 2003 international conference on OpenMP shared memory parallel programming
Explaining intermittent concurrent bugs by minimizing scheduling noise

HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Optimistic synchronization-based state-space reduction

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Fast and accurate static data-race detection for concurrent programs

CAV'07 Proceedings of the 19th international conference on Computer aided verification
Umbra: efficient and scalable memory shadowing

Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization
ThreadSanitizer: data race detection in practice

Proceedings of the Workshop on Binary Instrumentation and Applications
OptBPEL: a tool for performance optimization of BPEL process

SC'08 Proceedings of the 7th international conference on Software composition
Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Adversarial memory for detecting destructive races

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Line-up: a complete and automatic linearizability checker

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Efficient memory shadowing for 64-bit architectures

Proceedings of the 2010 international symposium on Memory management
The RoadRunner Dynamic Analysis Framework for Concurrent Programs

Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Falcon: fault localization in concurrent programs

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
KAdvice: infering synchronization patterns from an existing codebase

Proceedings of the 2nd International Workshop on Recommendation Systems for Software Engineering
ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations

Proceedings of the 37th annual international symposium on Computer architecture
Analyzing concurrency bugs using dual slicing

Proceedings of the 19th international symposium on Software testing and analysis
Goldilocks: a race-aware Java runtime

Communications of the ACM
FastTrack: efficient and precise dynamic race detection

Communications of the ACM
Extensible transactional memory testbed

Journal of Parallel and Distributed Computing
Avoiding deadlock avoidance

Proceedings of the 19th international conference on Parallel architectures and compilation techniques
A case for system support for concurrency exceptions

HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism
Finding and reproducing Heisenbugs in concurrent programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Gadara: dynamic deadlock avoidance for multithreaded programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Composition of dynamic analysis aspects

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Composable specifications for structured shared-memory communication

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Instrumentation and sampling strategies for cooperative concurrency bug isolation

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Automatic atomic region identification in shared memory SPMD programs

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
RunAssert: a non-intrusive run-time assertion for parallel programs debugging

Proceedings of the Conference on Design, Automation and Test in Europe
Automatic verification of determinism for structured parallel programs

SAS'10 Proceedings of the 17th international conference on Static analysis
Language-based replay via data flow cut

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
An effective dynamic analysis for detecting generalized deadlocks

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking

Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis
Starsscheck: a tool to find errors in task-based parallel programs

EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I
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
LOCKSMITH: Practical static race detection for C

ACM Transactions on Programming Languages and Systems (TOPLAS)
Decentralized runtime analysis of multithreaded applications

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Cross-layer comprehensive intrusion harm analysis for production workload server systems

Proceedings of the 26th Annual Computer Security Applications Conference
Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems

Parallel Computing
Efficient dynamic program monitoring on multi-core systems

Journal of Systems Architecture: the EUROMICRO Journal
Bypassing races in live applications with execution filters

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Effective data-race detection for the kernel

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Stable deterministic multithreading through schedule memoization

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Tolerating Concurrency Bugs Using Transactions as Lifeguards

MICRO '43 Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture
Run-time verification of networked software

RV'10 Proceedings of the First international conference on Runtime verification
Runtime verification with the RV system

RV'10 Proceedings of the First international conference on Runtime verification
Interval analysis for concurrent trace programs using transaction sequence graphs

RV'10 Proceedings of the First international conference on Runtime verification
Runtime verification for software transactional memories

RV'10 Proceedings of the First international conference on Runtime verification
A modular scheme for deadlock prevention in an object-oriented programming model

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Detection of deadlock potentials in multithreaded programs

IBM Journal of Research and Development
Thread contracts for safe parallelism

Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
GRace: a low-overhead mechanism for detecting data races in GPU programs

Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Log-based architectures: using multicore to help software behave correctly

ACM SIGOPS Operating Systems Review
Strengthening induction-based race checking with lightweight static analysis

VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
2ndStrike: toward manifesting hidden concurrency typestate bugs

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
ConSeq: detecting concurrency bugs through sequential errors

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
S2E: a platform for in-vivo multi-path analysis of software systems

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Dynamic cache contention detection in multi-threaded applications

Proceedings of the 7th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Statically locating web application bugs caused by asynchronous calls

Proceedings of the 20th international conference on World wide web
Safe at any speed: fast, safe parallelism in servers

HotDep'06 Proceedings of the Second conference on Hot topics in system dependability
WiDS checker: combating bugs in distributed systems

NSDI'07 Proceedings of the 4th USENIX conference on Networked systems design & implementation
How do programs become more concurrent: a story of program transformations

Proceedings of the 4th International Workshop on Multicore Software Engineering
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs

Proceedings of the 33rd International Conference on Software Engineering
Coverage guided systematic concurrency testing

Proceedings of the 33rd International Conference on Software Engineering
RACEZ: a lightweight and non-invasive race detection tool for production applications

Proceedings of the 33rd International Conference on Software Engineering
Generating data race witnesses by an SMT-based analysis

NFM'11 Proceedings of the Third international conference on NASA Formal methods
Isolating and understanding concurrency errors using reconstructed execution fragments

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Automated atomicity-violation fixing

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Demand-driven software race detection using hardware performance counters

Proceedings of the 38th annual international symposium on Computer architecture
Quarantine: fault tolerance for concurrent servers with data-driven selective isolation

HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Persuasive prediction of concurrency access anomalies

Proceedings of the 2011 International Symposium on Software Testing and Analysis
dBug: systematic testing of unmodified distributed and multi-threaded systems

Proceedings of the 18th international SPIN conference on Model checking software
Accelerating data race detection with minimal hardware support

Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part I
Accelerating race condition detection through procrastination

Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Automatic analysis of DMA races using model checking and k-induction

Formal Methods in System Design
Efficient deterministic multithreading through schedule relaxation

SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Detecting and surviving data races using complementary schedules

SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Places: adding message-passing parallelism to racket

Proceedings of the 7th symposium on Dynamic languages
Accentuating the positive: atomicity inference and enforcement using correct executions

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
SOS: saving time in dynamic race detection with stationary analysis

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
Dynamic data race detection for correlated variables

ICA3PP'11 Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I
Redflag: a framework for analysis of Kernel-level concurrency

ICA3PP'11 Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I
Concurrency analysis for parallel programs with textually aligned barriers

LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing
A review of race detection mechanisms

CSR'06 Proceedings of the First international computer science conference on Theory and Applications
A statically verifiable programming model for concurrent object-oriented programs

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
The S2E Platform: Design, Implementation, and Applications

ACM Transactions on Computer Systems (TOCS) - Special Issue APLOS 2011
Tiddle: a trace description language for generating concurrent benchmarks to test dynamic analyses

WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
Cooperative crug isolation

WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
Bounded model checking of concurrent data types on relaxed memory models: a case study

CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Multi-threaded testing with AOP is easy, and it finds bugs!

Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Mining temporal specifications for error detection

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Detecting errors in multithreaded programs by generalized predictive analysis of executions

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Aikido: accelerating shared data dynamic analyses

ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
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
SimTester: a controllable and observable testing framework for embedded systems

VEE '12 Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments
Static versioning of global state for race condition detection

Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Multicore scheduling for lightweight communicating processes

Science of Computer Programming
Transparently reconciling transactions with locking for java synchronization

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Goldilocks: efficiently computing the happens-before relation using locksets

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
TraceDo: an on-chip trace system for real-time debug and optimization in multiprocessor soc

ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Automatic analysis of scratch-pad memory code for heterogeneous multicore processors

TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Dynamic deadlock analysis of multi-threaded programs

HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Choosing among alternative futures

HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Automatic parallelization of fine-grained meta-functions on a chip multiprocessor

CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization
Acculock: Accurate and efficient detection of data races

CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization
Safe asynchronous multicore memory operations

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Verifying GPU kernels by test amplification

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Fully automatic and precise detection of thread safety violations

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Scalable and precise dynamic datarace detection for structured parallelism

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
DeadSpy: a tool to pinpoint program inefficiencies

Proceedings of the Tenth International Symposium on Code Generation and Optimization
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Cooperative types for controlling thread interference in Java

Proceedings of the 2012 International Symposium on Software Testing and Analysis
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
Static detection of resource contention problems in server-side scripts

Proceedings of the 34th International Conference on Software Engineering
Predicting concurrency failures in the generalized execution traces of x86 executables

RV'11 Proceedings of the Second international conference on Runtime verification
Permission regions for race-free parallelism

RV'11 Proceedings of the Second international conference on Runtime verification
Dynamic race detection with LLVM compiler

RV'11 Proceedings of the Second international conference on Runtime verification
Marathon: detecting atomic-set serializability violations with conflict graphs

RV'11 Proceedings of the Second international conference on Runtime verification
Cooperative concurrency for a multicore world

RV'11 Proceedings of the Second international conference on Runtime verification
Parallel closures: a new twist on an old idea

HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
Understanding the interleaving-space overlap across inputs and software versions

HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
Formal passive testing of timed systems: theory and tools

Software Testing, Verification & Reliability
Lock removal for concurrent trace programs

CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Chrysalis analysis: incorporating synchronization arcs in dataflow-analysis-based parallel monitoring

Proceedings of the 21st international conference on Parallel architectures and compilation techniques
Dynamic property mining for embedded software

Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
IFRit: interference-free regions for dynamic data-race detection

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Detecting problematic message sequences and frequencies in distributed systems

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
JaDaRD: java data-race detector

Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
CoRD: a collaborative framework for distributed data race detection

HotDep'12 Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability
Automated concurrency-bug fixing

OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
Holographic vulnerability studies: vulnerabilities as fractures in interpretation as information flows across abstraction boundaries

Proceedings of the 2012 workshop on New security paradigms
Dynamic information-flow analysis for multi-threaded applications

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces

Software Testing, Verification & Reliability
Effective pattern-driven concurrency bug detection for operating systems

Journal of Systems and Software
Predicting serializability violations: SMT-Based search vs. DPOR-Based search

HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
SAM: self-adaptive dynamic analysis for multithreaded programs

HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach

ACM Transactions on Software Engineering and Methodology (TOSEM)
Array dataflow analysis for polyhedral X10 programs

Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming
Model checking database applications

TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Parallelizing data race detection

Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution

Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
Code aware resource management

Formal Methods in System Design
ShadowData: shadowing heap objects in Java

Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Scaling data race detection for partitioned global address space programs

Proceedings of the 27th international ACM conference on International conference on supercomputing
Variable and thread bounding for systematic testing of multithreaded programs

Proceedings of the 2013 International Symposium on Software Testing and Analysis
Practical static race detection for Java parallel loops

Proceedings of the 2013 International Symposium on Software Testing and Analysis
Fault comprehension for concurrent programs

Proceedings of the 2013 International Conference on Software Engineering
Debugging non-deadlock concurrency bugs

Proceedings of the 2013 International Symposium on Software Testing and Analysis
CDSchecker: checking concurrent data structures written with C/C++ atomics

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Efficient concurrency-bug detection across inputs

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles

ACM SIGOPS 24th Symposium on Operating Systems Principles
Parrot: a practical runtime for deterministic, stable, and reliable threads

Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
RaceMob: crowdsourced data race detection

Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
Concurrent predicates: a debugging technique for every parallel programmer

PACT '13 Proceedings of the 22nd international conference on Parallel architectures and compilation techniques
RedCard: redundant check elimination for dynamic race detectors

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Enabling modularity and re-use in dynamic program analysis tools for the java virtual machine

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Synchronization identification through on-the-fly test

Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing
Automatic parallelization of fine-grained metafunctions on a chip multiprocessor

ACM Transactions on Architecture and Code Optimization (TACO)
Low-level detection of language-level data races with LARD

Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Guardrail: a high fidelity approach to protecting hardware devices from buggy drivers

Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Trace driven dynamic deadlock detection and reproduction

Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
Race directed scheduling of concurrent programs

Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
An approach to testing commercial embedded systems

Journal of Systems and Software

Quantified Score

Hi-index	0.03

Visualization

Abstract

Multithreaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mistake during debugging. This article describes a new tool, called Eraser, for dynamically detecting data races in lock-based multithreaded programs. Eraser uses binary rewriting techniques to monitor every shared-monory reference and verify that consistent locking behavior is observed. We present several case studies, including undergraduate coursework and a multithreaded Web search engine, that demonstrate the effectiveness of this approach.