On the public citation graph
Dependence-aware, unbounded sound predictive race detection
0 signed · 110 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/cpe.1064openalex-snapshot
MultiRace: efficient on‐the‐fly data race detection in multithreaded C++ programs
inferredcites →https://doi.org/10.1007/978-3-540-27864-1_11openalex-snapshot
Type Inference Against Races
inferredcites →https://doi.org/10.1007/978-3-540-70592-5_3openalex-snapshot
On Validity of Program Transformations in the Java Memory Model
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-29860-8_9openalex-snapshot
Dynamic Race Detection with LLVM Compiler
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.1016/j.scico.2006.03.006openalex-snapshot
Type inference against races
inferredcites →https://doi.org/10.1109/mc.1993.274940openalex-snapshot
An investigation of the Therac-25 accidents
inferredcites →https://doi.org/10.1109/scam.2008.17openalex-snapshot
Precise Analysis of Java Programs Using JOANA
inferredcites →https://doi.org/10.1145/1065944.1065947openalex-snapshot
Compiler techniques for high performance sequentially consistent java programs
inferredcites →https://doi.org/10.1145/1133255.1134018openalex-snapshot
Effective static race detection for Java
inferredcites →https://doi.org/10.1145/1190215.1190265openalex-snapshot
Conditional must not aliasing for static 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/1250734.1250785openalex-snapshot
Iterative context bounding for systematic testing of multithreaded programs
inferredcites →https://doi.org/10.1145/1273442.1250738openalex-snapshot
Automatically classifying benign and harmful data races using replay analysis
inferredcites →https://doi.org/10.1145/1273442.1250785openalex-snapshot
Iterative context bounding for systematic testing of multithreaded programs
inferredcites →https://doi.org/10.1145/127695.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/1375581.1375591openalex-snapshot
Foundations of the C++ concurrency memory model
inferredcites →https://doi.org/10.1145/1379022.1375584openalex-snapshot
Race directed random testing of concurrent programs
inferredcites →https://doi.org/10.1145/1646353.1646374openalex-snapshot
A few billion lines of code later
inferredcites →https://doi.org/10.1145/1735970.1736040openalex-snapshot
A randomized scheduler with probabilistic guarantees of finding bugs
inferredcites →https://doi.org/10.1145/1735971.1736040openalex-snapshot
A randomized scheduler with probabilistic guarantees of finding bugs
inferredcites →https://doi.org/10.1145/1806596.1806625openalex-snapshot
Adversarial memory for detecting destructive races
inferredcites →https://doi.org/10.1145/1806672.1806674openalex-snapshot
The RoadRunner Dynamic Analysis Framework for Concurrent Programs
inferredcites →https://doi.org/10.1145/1961296.1950375openalex-snapshot
Efficient processor support for DRFx, a memory model with exceptions
inferredcites →https://doi.org/10.1145/1993316.1993522openalex-snapshot
A case for an SC-preserving compiler
inferredcites →https://doi.org/10.1145/2001420.2001436openalex-snapshot
Testing concurrent programs on relaxed memory models
inferredcites →https://doi.org/10.1145/2043556.2043590openalex-snapshot
Detecting and surviving data races using complementary schedules
inferredcites →https://doi.org/10.1145/2076450.2076465openalex-snapshot
You don't know jack about shared variables or memory models
inferredcites →https://doi.org/10.1145/2103621.2103702openalex-snapshot
Sound predictive race detection in polynomial time
inferredcites →https://doi.org/10.1145/2248487.2150997openalex-snapshot
Data races vs. data race bugs
inferredcites →https://doi.org/10.1145/2366231.2337220openalex-snapshot
End-to-end sequential consistency
inferredcites →https://doi.org/10.1145/24039.24041openalex-snapshot
The program dependence graph and its use in optimization
inferredcites →https://doi.org/10.1145/2541940.2541955openalex-snapshot
Low-level detection of language-level data races with LARD
inferredcites →https://doi.org/10.1145/2555243.2555263openalex-snapshot
Race directed scheduling of concurrent programs
inferredcites →https://doi.org/10.1145/2644865.2541955openalex-snapshot
Low-level detection of language-level data races with LARD
inferredcites →https://doi.org/10.1145/2692916.2555263openalex-snapshot
Race directed scheduling of concurrent programs
inferredcites →https://doi.org/10.1145/2694344.2694379openalex-snapshot
Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability
inferredcites →https://doi.org/10.1145/2737924.2737975openalex-snapshot
Stateless model checking concurrent programs with maximal causality reduction
inferredcites →https://doi.org/10.1145/2775054.2694379openalex-snapshot
Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability
inferredcites →https://doi.org/10.1145/2786805.2786839openalex-snapshot
Effective and precise dynamic detection of hidden races for Java programs
inferredcites →https://doi.org/10.1145/2813885.2737975openalex-snapshot
Stateless model checking concurrent programs with maximal causality reduction
inferredcites →https://doi.org/10.1145/2814270.2814292openalex-snapshot
Valor: efficient, software-only region conflict exceptions
inferredcites →https://doi.org/10.1145/291889.291893openalex-snapshot
The design, implementation, and evaluation of Jade
inferredcites →https://doi.org/10.1145/2926697.2926700openalex-snapshot
Prescient memory: exposing weak memory model behavior by looking into the future
inferredcites →https://doi.org/10.1145/3033019.3033020openalex-snapshot
Lightweight data race detection for production runs
inferredcites →https://doi.org/10.1145/3062341.3062374openalex-snapshot
Dynamic race prediction in linear time
inferredcites →https://doi.org/10.1145/3140587.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/3192366.3192421openalex-snapshot
Bounding data races in space and time
inferredcites →https://doi.org/10.1145/3296979.3192421openalex-snapshot
Bounding data races in space and 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.1145/512529.512560openalex-snapshot
Efficient and precise datarace detection for multithreaded object-oriented programs
inferredcites →https://doi.org/10.1145/543552.512560openalex-snapshot
Efficient and precise datarace detection for multithreaded object-oriented programs
inferredcites →https://doi.org/10.1145/582419.582440openalex-snapshot
Ownership types for safe programming
inferredcites →https://doi.org/10.1145/583854.582440openalex-snapshot
Ownership types for safe programming
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/996841.996844openalex-snapshot
Race checking by context inference
inferredcites →https://doi.org/10.1184/r1/6625115openalex-snapshot
Parallel Programming Must Be Deterministic by Default
inferredcites →https://doi.org/10.4230/lipics.ecoop.2017.16openalex-snapshot
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
inferredcites →https://doi.org/10.48550/arxiv.1907.08337openalex-snapshot
Online Set-Based Dynamic Analysis for Sound Predictive Race Detection
inferredcites →https://doi.org/10.5555/3241639.3241651openalex-snapshot
and region serializability for all
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/s11390-023-1569-7openalex-snapshot
Minimal Context-Switching Data Race Detection with Dataflow Tracking
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/tdsc.2025.3630095openalex-snapshot
Detecting Obligation Races in NGAC Systems
inferred← citeshttps://doi.org/10.1145/3373376.3378475openalex-snapshot
Atomicity Checking in Linear Time using Vector Clocks
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/3468264.3468549openalex-snapshot
Sound and efficient concurrency bug prediction
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/3591291openalex-snapshot
Sound Dynamic Deadlock Prediction in Linear Time
inferred← citeshttps://doi.org/10.1145/3720435openalex-snapshot
Soundness of Predictive Concurrency Analyses
inferred← citeshttps://doi.org/10.1145/3832783.3837438openalex-snapshot
Precise and Efficient Static Data Race Detection
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.