Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Fixing deadlocks via lock pre-acquisitions
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
An Optimistic Approach to Lock-Free FIFO Queues
A tree-based algorithm for distributed mutual exclusion
Implementing Lock-Free Queues
MagicFuzzer: Scalable deadlock detection for large-scale applications
Latch-free Synchronization in Database Systems: Silver Bullet or Fool's Gold?
Applying a Path-Compression technique to Obtain an Efficient Distributed Mutual Exclusion Algorithm
Efficient locking for concurrent operations on B-trees
Deadlocks in Datacenter Networks: Why Do They Form, and How to Avoid Them
Defining deadlock with fungible resources
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification
High-performance ACID via modular concurrency control
Efficient optimistic concurrency control using loosely synchronized clocks
CAS-based lock-free algorithm for shared deques
An optimal distributed solution to the dining philosophers problem
The notions of consistency and predicate locks in a database system
To Lock, Swap, or Elide: On the Interplay of Hardware Transactional Memory and Lock-Free Indexing
TTLock: Tenacious and traceless logic locking
An optimistic approach in distributed database concurrency control
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review
Group-sensitive multiple kernel learning for object categorization
RacerX: effective, static detection of race conditions and deadlocks
Mining User Rationale from Software Reviews
Forecasting stock market crisis events using deep and statistical machine learning techniques
Effects of problem-based learning: a meta-analysis