Sherlock: scalable deadlock detection for concurrent programs

No abstract is available for this paper.

• Publication year

  2014

• Venue

  SIGSOFT FSE

• Publication date

  2014-11-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2635868.2635918
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs

  2015cited by this paper
• Race detection for Android applications

  2014cited by this paper
• Race directed scheduling of concurrent programs

  2014influential reference
• ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs

  2014cited by this paper
• Race detection for event-driven mobile applications

  2014cited by this paper
• Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

  2014cited by this paper
• Trace driven dynamic deadlock detection and reproduction

  2014cited by this paper
• Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability

  2014cited by this paper
• CLAP: recording local executions to reproduce concurrency failures

  2013cited by this paper
• Detecting deadlock in programs with data-centric synchronization

  2013cited by this paper
• Effective race detection for event-driven programs

  2013cited by this paper
• Using Runtime Analysis to Guide Model Checking of Java Programs

  2013influential reference
• MagicFuzzer: Scalable deadlock detection for large-scale applications

  2012cited by this paper
• aComment: mining annotations from comments and code to detect interrupt related concurrency bugs

  2011cited by this paper
• QVM: An Efficient Runtime for Detecting Defects in Deployed Systems

  2011cited by this paper
• Generating Data Race Witnesses by an SMT-Based Analysis

  2011influential reference
• Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders

  2011cited by this paper
• An effective dynamic analysis for detecting generalized deadlocks

  2010cited by this paper
• PENELOPE: weaving threads to expose atomicity violations

  2010cited by this paper
• Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs

  2010cited by this paper
• A randomized scheduler with probabilistic guarantees of finding bugs

  2010cited by this paper
• A randomized dynamic program analysis technique for detecting real deadlocks

  2009influential reference
• Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients

  2009influential reference
• Effective static deadlock detection

  2009influential reference
• QVM: an efficient runtime for detecting defects in deployed systems

  2008cited by this paper
• Effective static race detection for Java

  2008cited by this paper
• Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs

  2008cited by this paper
• Heuristics for Scalable Dynamic Test Generation

  2008cited by this paper
• Maximal Causal Models for Multithreaded Systems

  2008cited by this paper
• Concolic testing

  2007cited by this paper
• Directed test generation using symbolic grammars

  2007cited by this paper
• The DaCapo benchmarks: java benchmarking development and analysis

  2006cited by this paper
• EXE: A system for automatically generating inputs of death using symbolic execution

  2006cited by this paper
• Effective static race detection for Java

  2006cited by this paper
• CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools

  2006cited by this paper
• EXE: automatically generating inputs of death

  2006cited by this paper
• Causal Atomicity

  2006cited by this paper
• Efficient distributed deadlock avoidance with liveness guarantees

  2006cited by this paper
• Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring

  2005cited by this paper
• Dynamic partial-order reduction for model checking software

  2005cited by this paper
• DART: directed automated random testing

  2005cited by this paper
• Pulse: A Dynamic Deadlock Detection Mechanism Using Speculative Execution

  2005cited by this paper
• Static Deadlock Detection for Java Libraries

  2005cited by this paper
• Reasoning About Threads Communicating via Locks

  2005cited by this paper
• Detecting synchronization defects in multi-threaded object-oriented programs

  2004cited by this paper
• Finding Concurrency Bugs in Java

  2004cited by this paper
• RacerX: effective, static detection of race conditions and deadlocks

  2003cited by this paper
• The SPIN Model Checker

  2003cited by this paper
• Framework for testing multi‐threaded Java programs

  2003cited by this paper
• Ownership types for safe programming: preventing data races and deadlocks

  2002cited by this paper
• Testing Concurrent Java Programs using Randomized Scheduling

  2002cited by this paper
• Extended static checking for Java

  2002cited by this paper
• Applying static analysis to large-scale, multi-threaded Java programs

  2001cited by this paper
• Object race detection

  2001cited by this paper
• Annotation-Based Diagrams for Shared-Data Concurrency

  2001cited by this paper
• Model checking JAVA programs using JAVA PathFinder

  2000cited by this paper
• Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?

  2000cited by this paper
• A deadlock detection tool for concurrent Java programs

  1999cited by this paper
• Model checking for programming languages using VeriSoft

  1997cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• Static detection of deadlocks in polynomial time

  1993cited by this paper
• A Model of Ada Programs for Static Deadlock Detection in Polynomial Time

  1991cited by this paper
• A model of Ada programs for static deadlock detection in polynomial times

  1991cited by this paper
• Under Consideration for Publication in Formal Aspects of Computing Concurrent Software Verification with States, Events, and Deadlocks 1,2

  year unknowncited by this paper

• Hybrid Concolic Testing with Large Language Models for Guided Path Exploration

  2026cites this paper
• AI-Enabled Infrastructure Management: A Comprehensive Framework and Empirical Analysis from Platform Engineering Perspective

  2025cites this paper
• Error Classification and Static Detection Methods in Tri-Programming Models: MPI, OpenMP, and CUDA

  2025cites this paper
• Static Deadlock Detection for Rust Programs

  2024cites this paper
• Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

  2024cites this paper
• Sound Dynamic Deadlock Prediction in Linear Time

  2023cites this paper
• Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications

  2023cites this paper
• Sound Dynamic Deadlock Prediction in Linear Time

  2023cites this paper
• Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression

  2023cites this paper
• Exploiting Epochs and Symmetries in Analysing MPI Programs

  2022cites this paper
• Errors Classification and Static Detection Techniques for Dual-Programming Model (OpenMP and OpenACC)

  2022cites this paper
• Deadlock prediction via generalized dependency

  2022cites this paper
• Peahen: fast and precise static deadlock detection via context reduction

  2022cites this paper
• A Characteristic Study of Deadlocks in Database-Backed Web Applications

  2021cites this paper
• A Compositional Deadlock Detector for Android Java

  2021cites this paper
• On interleaving space exploration of multi-threaded programs

  2021cites this paper
• Low-Overhead Deadlock Prediction

  2020cites this paper
• Automated Deadlock Detection for Large Java Libraries

  2020cites this paper
• A Predictive Analysis for Detecting Deadlock in MPI Programs

  2020cites this paper
• Free the Bugs: Disclosing Blocking Violations in Reactive Programming

  2020cites this paper
• Efficient concolic testing of MPI applications

  2019cites this paper
• Deadlock Analysis of Wait-Notify Coordination

  2019cites this paper
• Atomic invariants verification and deadlock detection at compile-time

  2018cites this paper
• Dynamic Deadlock Verification for General Barrier Synchronisation

  2018influential citation
• May-happen-in-parallel analysis with static vector clocks

  2018cites this paper
• 1 Dynamic Deadlock Verification for General Barrier Synchronisation

  2018cites this paper
• Deadlock Detector and Solver (DDS)

  2018cites this paper
• Data race detection on compressed traces

  2018cites this paper
• A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks

  2018cites this paper
• Dynamic Symbolic Verification of MPI Programs

  2018cites this paper
• A Survey of Recent Trends in Testing Concurrent Software Systems

  2018cites this paper
• Sound deadlock prediction

  2018cites this paper
• DDS: Deadlock Detector and Solver

  2018cites this paper
• EAD : Detecting and Tolerating Deadlocks in Production Software

  2017cites this paper
• UNDEAD: Detecting and preventing deadlocks in production software

  2017influential citation
• Efficient detection and validation of atomicity violations in concurrent programs

  2017cites this paper
• Detecting potential deadlocks through change impact analysis

  2017cites this paper
• Reflection Analysis for Java: Uncovering More Reflective Targets Precisely

  2017cites this paper
• Deadlock detection of Java Bytecode

  2017cites this paper
• Static deadlock detection for asynchronous C# programs

  2017cites this paper
• Kronecker Algebra-based Deadlock Analysis in the Linux Kernel

  2017cites this paper
• A Functional Safety OpenMP ^* for Critical Real-Time Embedded Systems

  2017cites this paper
• Reproducing concurrency failures from crash stacks

  2017cites this paper
• An automated framework to support testing for process‐level race conditions

  2017cites this paper
• JaDA -- the Java Deadlock Analyzer

  2017influential citation
• Fixing Deadlocks via Lock Pre-Acquisitions

  2016cites this paper
• Sound static deadlock analysis for C/Pthreads

  2016cites this paper
• Radius aware probabilistic testing of deadlocks with guarantees

  2016cites this paper
• Detecting Deadlocks Involving Diverse Synchronization Mechanisms Using Extended Petri Nets

  2016cites this paper
• Directed synthesis of failing concurrent executions

  2016cites this paper
• Testing Concurrent Software Systems

  2016cites this paper
• Static deadlock detection for concurrent go by global session graph synthesis

  2016cites this paper
• DYNAMIC SUPPORT FOR DEADLOCK DETECTION

  2016cites this paper
• Detecting Race Conditions in Java Programs Using Dynamic Analysis

  2016cites this paper
• Dynamic Testing for Deadlocks via Constraints

  2016cites this paper
• AtomChase: Directed search towards atomicity violations

  2015cites this paper
• Timing Analysis of Event-Driven Programs with Directed Testing

  2015cites this paper
• Finding schedule-sensitive branches

  2015cites this paper
• Hyperconcolic Finding parallel bugs in Java programs , using concolic execution

  2015cites this paper
• SMT Solving for the Theory of Ordering Constraints

  2015cites this paper
• JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)

  2015cites this paper
• Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

  2014cites this paper