Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks
Dynamic cache contention detection in multi-threaded applications
a survey of distributed deadlock algorithms .
efficient on - the - fly data race detection in multihreaded c + + programs .
A Parallel FastTrack Data Race Detector on Multi-core Systems
An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection
A Scalable Lock Manager for Multicores
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
System Deadlocks
Randomized active atomicity violation detection in concurrent programs
CoreDet: a compiler and runtime system for deterministic multithreaded execution
Bulk Disambiguation of Speculative Threads in Multiprocessors
A serializability violation detector for shared-memory server programs
ThreadSanitizer: data race detection in practice
A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
Kendo: efficient deterministic multithreading in software
Prevention of system deadlocks
Identifying and Exploiting Windows Kernel Race Conditions via Memory Access Patterns
Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs
Performance measurements for multithreaded programs
Reliable privacy-preserving communications for wireless ad hoc networks
A probabilistic graphical model for learning as search
A Fine-Grained Control Flow Integrity Approach Against Runtime Memory Attacks for Embedded Systems
Active Learning from Positive and Unlabeled Data
An API for Runtime Code Patching