Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
RacerX: effective, static detection of race conditions and deadlocks
An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection
Falcon: fault localization in concurrent programs
A one-phase algorithm to detect distributed deadlocks in replicated databases
Specification and Verification of Concurrent Programs by forall-Automata
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review
CONCURRIT: a domain specific language for reproducing concurrency bugs
A Petri net based deadlock prevention policy for flexible manufacturing systems
Bulk Disambiguation of Speculative Threads in Multiprocessors
a survey of distributed deadlock algorithms .
SemFix: program repair via semantic analysis
Verifying Properties of Parallel Programs : An Axiomatic Approach
Siphon-based deadlock prevention for a class of S4PR generalized Petri nets
Current challenges in automatic software repair
A Semantic Framework for Scheduling Parallel Programs
Angelix: scalable multiline program patch synthesis via symbolic analysis
A genetic programming approach to automated software repair
Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching
Revisiting optimistic and pessimistic concurrency control
Parallelizing the Spin Model Checker
End-to-End Neural Relation Extraction with Global Optimization
Two-Switch Forward Converter With Reset Winding and an Auxiliary Active-Clamp Circuit for a Wide Input Voltage Range
StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks
Executive Functions Predict the Success of Top-Soccer Players
Temporal Constraint Networks