On the public citation graph

Sound deadlock prediction

0 signed · 77 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/(sici)1097-024x(199906)29:7<577::aid-spe246>3.0.co;2-vopenalex-snapshot

A deadlock detection tool for concurrent Java programs

inferredcites →https://doi.org/10.1007/10722468_15openalex-snapshot

Using Runtime Analysis to Guide Model Checking of Java Programs

inferredcites →https://doi.org/10.1007/10722468_20openalex-snapshot

Runtime Checking of Multithreaded Applications with Visual Threads

inferredcites →https://doi.org/10.1007/11678779_15openalex-snapshot

Dynamic Deadlock Analysis of Multi-threaded Programs

inferredcites →https://doi.org/10.1007/11691372_5openalex-snapshot

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs

inferredcites →https://doi.org/10.1007/978-3-319-23404-5_13openalex-snapshot

PickLock: A Deadlock Prediction Approach under Nested Locking

inferredcites →https://doi.org/10.1007/978-3-642-05089-3_17openalex-snapshot

Symbolic Predictive Analysis for Concurrent Programs

inferredcites →https://doi.org/10.1007/978-3-642-20398-5_23openalex-snapshot

Generating Data Race Witnesses by an SMT-Based Analysis

inferredcites →https://doi.org/10.1007/978-3-642-35632-2_16openalex-snapshot

Maximal Causal Models for Sequentially Consistent Systems

inferredcites →https://doi.org/10.1007/s100090050043openalex-snapshot

Model checking JAVA programs using JAVA PathFinder

inferredcites →https://doi.org/10.1007/s10664-005-3861-2openalex-snapshot

Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact

inferredcites →https://doi.org/10.1016/0169-7552(93)90095-lopenalex-snapshot

Design and validation of protocols: a tutorial

inferredcites →https://doi.org/10.1023/a:1022920129859openalex-snapshot

Model Checking Programs

inferredcites →https://doi.org/10.1109/ase.2015.87openalex-snapshot

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)

inferredcites →https://doi.org/10.1109/icse.2009.5070538openalex-snapshot

Effective static deadlock detection

inferredcites →https://doi.org/10.1109/icst.2011.22openalex-snapshot

Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications

inferredcites →https://doi.org/10.1109/tpds.2014.2307864openalex-snapshot

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

inferredcites →https://doi.org/10.1109/tse.2014.2301725openalex-snapshot

Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs

inferredcites →https://doi.org/10.1109/tse.2016.2537335openalex-snapshot

Dynamic Testing for Deadlocks via Constraints

inferredcites →https://doi.org/10.1145/1165389.945468openalex-snapshot

RacerX

inferredcites →https://doi.org/10.1145/1167473.1167488openalex-snapshot

The DaCapo benchmarks

inferredcites →https://doi.org/10.1145/1167515.1167488openalex-snapshot

The DaCapo benchmarks

inferredcites →https://doi.org/10.1145/1181775.1181787openalex-snapshot

Controlling factors in evaluating path-sensitive error detection techniques

inferredcites →https://doi.org/10.1145/1368088.1368119openalex-snapshot

jPredictor

inferredcites →https://doi.org/10.1145/1411203.1411255openalex-snapshot

NixOS

inferredcites →https://doi.org/10.1145/1542476.1542489openalex-snapshot

A randomized dynamic program analysis technique for detecting real deadlocks

inferredcites →https://doi.org/10.1145/1543135.1542489openalex-snapshot

A randomized dynamic program analysis technique for detecting real deadlocks

inferredcites →https://doi.org/10.1145/1985793.1985827openalex-snapshot

Taming reflection

inferredcites →https://doi.org/10.1145/2103621.2103702openalex-snapshot

Sound predictive race detection in polynomial time

inferredcites →https://doi.org/10.1145/2568225.2568312openalex-snapshot

ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs

inferredcites →https://doi.org/10.1145/2594291.2594315openalex-snapshot

Maximal sound predictive race detection with control flow abstraction

inferredcites →https://doi.org/10.1145/2635868.2635918openalex-snapshot

Sherlock: scalable deadlock detection for concurrent programs

inferredcites →https://doi.org/10.1145/2737924.2737975openalex-snapshot

Stateless model checking concurrent programs with maximal causality reduction

inferredcites →https://doi.org/10.1145/2813885.2737975openalex-snapshot

Stateless model checking concurrent programs with maximal causality reduction

inferredcites →https://doi.org/10.1145/3062341.3062374openalex-snapshot

Dynamic race prediction in linear time

inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot

Time, clocks, and the ordering of events in a distributed system

inferredcites →https://doi.org/10.5555/2337223.2337294openalex-snapshot

MagicFuzzer: scalable deadlock detection for large-scale applications

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-65630-9_9openalex-snapshot

Predictive Monitoring with Strong Trace Prefixes

inferred← citeshttps://doi.org/10.1007/978-3-032-32519-8_3openalex-snapshot

Deadlock Verification via Ordering-Constrained Mutex Modeling

inferred← citeshttps://doi.org/10.1016/j.jss.2025.112473openalex-snapshot

VeriFix: Verifying your fix towards an atomicity violation

inferred← citeshttps://doi.org/10.1109/ase.2019.00125openalex-snapshot

CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities

inferred← citeshttps://doi.org/10.1109/compsac57700.2023.00110openalex-snapshot

Sound Predictive Fuzzing for Multi-threaded Programs

inferred← citeshttps://doi.org/10.1109/icse48619.2023.00118openalex-snapshot

Tolerate Control-Flow Changes for Sound Data Race Prediction

inferred← citeshttps://doi.org/10.1109/icse55347.2025.00149openalex-snapshot

Reduce Dependence for Sound Concurrency Bug Prediction

inferred← citeshttps://doi.org/10.1109/saner60148.2024.00031openalex-snapshot

PredRacer: Predictively Detecting Data Races in Android Applications

inferred← citeshttps://doi.org/10.1109/tpds.2022.3218346openalex-snapshot

Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression

inferred← citeshttps://doi.org/10.1145/3324884.3416588openalex-snapshot

A predictive analysis for detecting deadlock in MPI programs

inferred← citeshttps://doi.org/10.1145/3357390.3361022openalex-snapshot

Predicting all data race pairs for a specific schedule

inferred← citeshttps://doi.org/10.1145/3377811.3380367openalex-snapshot

Low-overhead deadlock prediction

inferred← citeshttps://doi.org/10.1145/3426182.3426185openalex-snapshot

Efficient, near complete, and often sound hybrid dynamic data race prediction

inferred← citeshttps://doi.org/10.1145/3428214openalex-snapshot

Satune: synthesizing efficient SAT encoders

inferred← citeshttps://doi.org/10.1145/3434317openalex-snapshot

Optimal prediction of synchronization-preserving races

inferred← citeshttps://doi.org/10.1145/3468264.3468549openalex-snapshot

Sound and efficient concurrency bug prediction

inferred← citeshttps://doi.org/10.1145/3510003.3510166openalex-snapshot

Striking a balance

inferred← citeshttps://doi.org/10.1145/3533767.3534377openalex-snapshot

Deadlock prediction via generalized dependency

inferred← citeshttps://doi.org/10.1145/3540250.3549110openalex-snapshot

Peahen: fast and precise static deadlock detection via context reduction

inferred← citeshttps://doi.org/10.1145/3551349.3556954openalex-snapshot

Exploiting Epochs and Symmetries in Analysing MPI Programs

inferred← citeshttps://doi.org/10.1145/3589250openalex-snapshot

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

inferred← citeshttps://doi.org/10.1145/3589250.3596142openalex-snapshot

RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms

inferred← citeshttps://doi.org/10.1145/3591251openalex-snapshot

Optimal Reads-From Consistency Checking for C11-Style Memory Models

inferred← citeshttps://doi.org/10.1145/3591291openalex-snapshot

Sound Dynamic Deadlock Prediction in Linear Time

inferred← citeshttps://doi.org/10.1145/3597503.3623300openalex-snapshot

Reorder Pointer Flow in Sound Concurrency Bug Prediction

inferred← citeshttps://doi.org/10.1145/3597503.3639099openalex-snapshot

Optimistic Prediction of Synchronization-Reversal Data Races

inferred← citeshttps://doi.org/10.1145/3607182openalex-snapshot

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs

inferred← citeshttps://doi.org/10.1145/3620666.3651358openalex-snapshot

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis

inferred← citeshttps://doi.org/10.1145/3632873openalex-snapshot

Coarser Equivalences for Causal Concurrency

inferred← citeshttps://doi.org/10.1145/3632908openalex-snapshot

How Hard Is Weak-Memory Testing?

inferred← citeshttps://doi.org/10.1145/3632915openalex-snapshot

Predictive Monitoring against Pattern Regular Languages

inferred← citeshttps://doi.org/10.1145/3643991.3644897openalex-snapshot

On the Effectiveness of Machine Learning-based Call Graph Pruning: An Empirical Study

inferred← citeshttps://doi.org/10.1145/3720435openalex-snapshot

Soundness of Predictive Concurrency Analyses

inferred← citeshttps://doi.org/10.1145/3744916.3773247openalex-snapshot

Is Call Graph Pruning Really Effective?

inferred← citeshttps://doi.org/10.1145/3776643openalex-snapshot

The Complexity of Testing Message-Passing Concurrency

inferred← citeshttps://doi.org/10.1145/3832278openalex-snapshot

Efficient Predictive Monitoring of Message Passing Interface Programs

inferred← citeshttps://doi.org/10.1145/3832783.3837438openalex-snapshot

Precise and Efficient Static Data Race Detection

inferred← citeshttps://doi.org/10.48550/arxiv.1905.10855openalex-snapshot

Data Race Prediction for Inaccurate Traces

inferred← citeshttps://doi.org/10.48550/arxiv.1909.03289openalex-snapshot

Predicting All Data Race Pairs for a Specific Schedule (extended version)

inferred← citeshttps://doi.org/10.48550/arxiv.2004.06969openalex-snapshot

Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.