Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs
MagicFuzzer: Scalable deadlock detection for large-scale applications
Siphon-based deadlock prevention for a class of S4PR generalized Petri nets
Comparing Four Static Analysis Tools for Java Concurrency Bugs
A Petri net based deadlock prevention policy for flexible manufacturing systems
System Deadlocks
Lock Trace Reduction for Multithreaded Programs
Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs
On Structural Conditions of S 3 PR Based Siphons to Prevent Deadlocks in Manufacturing Systems
Automated analysis of multithreaded programs for performance modeling
Randomized active atomicity violation detection in concurrent programs
ThreadSanitizer: data race detection in practice
Deadlock detection in distributed databases
Elementary Siphons of Petri Nets and Deadlock Control in FMS
A Fast Automaton-Based Method for Detecting Anomalous Program Behaviors
Assertion guided symbolic execution of multithreaded programs
RaceTrack: efficient detection of data race conditions via adaptive tracking
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review
Valgrind: A Program Supervision Framework
Transient fault detection via simultaneous multithreading
Bulk Disambiguation of Speculative Threads in Multiprocessors
Pin: building customized program analysis tools with dynamic instrumentation
Large-Scale Visual Relationship Understanding
Speed improvement of object recognition using Boundary-Bitmap of histogram of oriented Gradients
Reward prediction in primate basal ganglia and frontal cortex
Low-Precision Batch-Normalized Activations