On the public citation graph
Fast, sound, and effectively complete dynamic race prediction
0 signed · 96 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.4380240306openalex-snapshot
A new data structure for cumulative frequency tables
inferredcites →https://doi.org/10.1007/11494881_14openalex-snapshot
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions
inferredcites →https://doi.org/10.1007/11513988_49openalex-snapshot
Reasoning About Threads Communicating via Locks
inferredcites →https://doi.org/10.1007/3-540-45718-6_81openalex-snapshot
TRaDe: Data Race Detection for Java
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_27openalex-snapshot
Parametric and Sliced Causality
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_21openalex-snapshot
Meta-analysis for Atomicity Violations 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/s10766-018-0579-5openalex-snapshot
AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns
inferredcites →https://doi.org/10.1109/ase.2009.82openalex-snapshot
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking
inferredcites →https://doi.org/10.1109/hicss.1991.184003openalex-snapshot
Detecting data races from sequential traces
inferredcites →https://doi.org/10.1145/1133981.1134018openalex-snapshot
Effective static race detection for Java
inferredcites →https://doi.org/10.1145/1147403.1147416openalex-snapshot
A theory of data race detection
inferredcites →https://doi.org/10.1145/122759.122767openalex-snapshot
Detecting access anomalies in programs with critical sections
inferredcites →https://doi.org/10.1145/1375581.1375584openalex-snapshot
Race directed random testing of concurrent programs
inferredcites →https://doi.org/10.1145/1869459.1869474openalex-snapshot
Do I use the wrong definition?
inferredcites →https://doi.org/10.1145/2103621.2103702openalex-snapshot
Sound predictive race detection in polynomial time
inferredcites →https://doi.org/10.1145/2103656.2103702openalex-snapshot
Sound predictive race detection in polynomial time
inferredcites →https://doi.org/10.1145/2254064.2254127openalex-snapshot
Scalable and precise dynamic datarace detection for structured parallelism
inferredcites →https://doi.org/10.1145/2338965.2336780openalex-snapshot
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications
inferredcites →https://doi.org/10.1145/2594291.2594315openalex-snapshot
Maximal sound predictive race detection with control flow abstraction
inferredcites →https://doi.org/10.1145/2786805.2786840openalex-snapshot
Finding schedule-sensitive branches
inferredcites →https://doi.org/10.1145/2931037.2931046openalex-snapshot
IPA: improving predictive analysis with pointer analysis
inferredcites →https://doi.org/10.1145/3009837.3009857openalex-snapshot
Dynamic race detection for C++11
inferredcites →https://doi.org/10.1145/3062341.3062374openalex-snapshot
Dynamic race prediction in linear time
inferredcites →https://doi.org/10.1145/3192366.3192385openalex-snapshot
High-coverage, unbounded sound predictive race detection
inferredcites →https://doi.org/10.1145/3276515openalex-snapshot
What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection
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.1145/512529.512560openalex-snapshot
Efficient and precise datarace detection for multithreaded object-oriented programs
inferredcites →https://doi.org/10.1145/582034.582042openalex-snapshot
A parallel java grande benchmark suite
inferredcites →https://doi.org/10.1145/73141.74844openalex-snapshot
On-the-fly detection of access anomalies
inferredcites →https://doi.org/10.1145/781498.781528openalex-snapshot
Hybrid dynamic data race detection
inferredcites →https://doi.org/10.1145/966049.781528openalex-snapshot
Hybrid dynamic data race detection
inferredcites →https://doi.org/10.1145/966049.781529openalex-snapshot
Efficient on-the-fly data race detection in multithreaded C++ programs
inferredcites →https://doi.org/10.6084/m9.figshare.27043420openalex-snapshot
Why Do Computers Stop and What Can Be Done About It?
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-030-81685-8_16openalex-snapshot
Stateless Model Checking Under a Reads-Value-From Equivalence
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.2023.111730openalex-snapshot
Optimal dynamic partial order reduction with context-sensitive independence and observers
inferred← citeshttps://doi.org/10.1109/access.2020.3029094openalex-snapshot
Using Algebra Graph Representation to Detect Pairwise-Constraint Software Faults
inferred← citeshttps://doi.org/10.1109/access.2021.3055831openalex-snapshot
Context-Sensitive Data Race Detection for Concurrent Programs
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/sp46215.2023.10179366openalex-snapshot
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis
inferred← citeshttps://doi.org/10.1109/tpds.2025.3556861openalex-snapshot
IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems
inferred← citeshttps://doi.org/10.1109/tr.2022.3176680openalex-snapshot
Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations
inferred← citeshttps://doi.org/10.1145/3373718.3394783openalex-snapshot
The Complexity of Dynamic Data Race Prediction
inferred← citeshttps://doi.org/10.1145/3385412.3385993openalex-snapshot
SmartTrack: efficient predictive race detection
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/3434317openalex-snapshot
Optimal prediction of synchronization-preserving races
inferred← citeshttps://doi.org/10.1145/3453483.3454099openalex-snapshot
Canary: practical static detection of inter-thread value-flow bugs
inferred← citeshttps://doi.org/10.1145/3468264.3468549openalex-snapshot
Sound and efficient concurrency bug prediction
inferred← citeshttps://doi.org/10.1145/3468264.3468572openalex-snapshot
Detecting concurrency vulnerabilities based on partial orders of memory and thread events
inferred← citeshttps://doi.org/10.1145/3485541openalex-snapshot
The reads-from equivalence for the TSO and PSO memory models
inferred← citeshttps://doi.org/10.1145/3498538openalex-snapshot
BiRD: Race Detection in Software Binaries under Relaxed Memory Models
inferred← citeshttps://doi.org/10.1145/3503222.3507734openalex-snapshot
A tree clock data structure for causal orderings in concurrent executions
inferred← citeshttps://doi.org/10.1145/3571238openalex-snapshot
Dynamic Race Detection with O(1) Samples
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/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/3632915openalex-snapshot
Predictive Monitoring against Pattern Regular Languages
inferred← citeshttps://doi.org/10.1145/3698062.3698063openalex-snapshot
Race Directed Fuzzing for More Effective Concurrency Testing
inferred← citeshttps://doi.org/10.1145/3720435openalex-snapshot
Soundness of Predictive Concurrency Analyses
inferred← citeshttps://doi.org/10.1145/3729252openalex-snapshot
Efficient Timestamping for Sampling-Based Race Detection
inferred← citeshttps://doi.org/10.1145/3729277openalex-snapshot
Dynamic Robustness Verification against Weak Memory
inferred← citeshttps://doi.org/10.1145/3732772.3733514openalex-snapshot
Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
inferred← citeshttps://doi.org/10.1145/3742465openalex-snapshot
AWDIT: An Optimal Weak Database Isolation Tester
inferred← citeshttps://doi.org/10.1145/3763123openalex-snapshot
Efficient Decrease-and-Conquer Linearizability Monitoring
inferred← citeshttps://doi.org/10.1145/3776643openalex-snapshot
The Complexity of Testing Message-Passing Concurrency
inferred← citeshttps://doi.org/10.1145/3777409openalex-snapshot
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
inferred← citeshttps://doi.org/10.1145/3832783.3837438openalex-snapshot
Precise and Efficient Static Data Race Detection
inferred← citeshttps://doi.org/10.23919/fmcad.2019.8894270openalex-snapshot
Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order
inferred← citeshttps://doi.org/10.48550/arxiv.2004.06969openalex-snapshot
Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)
inferred← citeshttps://doi.org/10.48550/arxiv.2111.12478openalex-snapshot
Predictive Data Race Detection for GPUs
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.