On the public citation graph
AtomTracker: A Comprehensive Approach to Atomic Region Inference and Violation Detection
0 signed · 51 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.1109/isca.2006.13openalex-snapshot
Bulk Disambiguation of Speculative Threads in Multiprocessors
inferredcites →https://doi.org/10.1109/isca.2008.4openalex-snapshot
Atom-Aid: Detecting and Surviving Atomicity Violations
inferredcites →https://doi.org/10.1109/tse.2006.1599419openalex-snapshot
Runtime analysis of atomicity for multithreaded programs
inferredcites →https://doi.org/10.1145/1064978.1065013openalex-snapshot
A serializability violation detector for shared-memory server programs
inferredcites →https://doi.org/10.1145/1065010.1065013openalex-snapshot
A serializability violation detector for shared-memory server programs
inferredcites →https://doi.org/10.1145/1150019.1136506openalex-snapshot
Bulk Disambiguation of Speculative Threads in Multiprocessors
inferredcites →https://doi.org/10.1145/1368088.1368120openalex-snapshot
Dynamic detection of atomic-set-serializability violations
inferredcites →https://doi.org/10.1145/1453101.1453121openalex-snapshot
Randomized active atomicity violation detection in concurrent programs
inferredcites →https://doi.org/10.1145/1555754.1555796openalex-snapshot
A case for an interleaving constrained shared-memory multi-processor
inferredcites →https://doi.org/10.1145/1669112.1669181openalex-snapshot
Finding concurrency bugs with context-aware communication graphs
inferredcites →https://doi.org/10.1145/362686.362692openalex-snapshot
Space/time trade-offs in hash coding with allowable errors
inferredcites →https://doi.org/10.1145/780822.781169openalex-snapshot
A type and effect system for atomicity
inferredcites →https://doi.org/10.1145/781131.781169openalex-snapshot
A type and effect system for atomicity
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1523openalex-snapshot
UNICORN : a unified approach for localizing non‐deadlock concurrency bugs
inferred← citeshttps://doi.org/10.1002/stvr.1564openalex-snapshot
A survey of race bug detection techniques for multithreaded programmes
inferred← citeshttps://doi.org/10.1007/978-3-030-67067-2_18openalex-snapshot
GPURepair: Automated Repair of GPU Kernels
inferred← citeshttps://doi.org/10.1007/978-3-031-82703-7_6openalex-snapshot
LLOR: Automated Repair of OpenMP Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-37051-9_11openalex-snapshot
Compiler-Guided Identification of Critical Sections in Parallel Code
inferred← citeshttps://doi.org/10.1007/s11432-015-0203-2openalex-snapshot
Surveying concurrency bug detectors based on types of detected bugs
inferred← citeshttps://doi.org/10.1007/s12046-023-02291-0openalex-snapshot
GPURepair: Automated Repair of GPU Kernels (Extended Version)
inferred← citeshttps://doi.org/10.1109/access.2021.3116027openalex-snapshot
GoDetector: Detecting Concurrent Bug in Go
inferred← citeshttps://doi.org/10.1109/cgo.2013.6494990openalex-snapshot
Practical lock/unlock pairing for concurrent programs
inferred← citeshttps://doi.org/10.1109/hpca.2012.6169039openalex-snapshot
Pacman: Tolerating asymmetric data races with unintrusive hardware
inferred← citeshttps://doi.org/10.1109/hpca.2014.6835923openalex-snapshot
Dynamically detecting and tolerating IF-Condition Data Races
inferred← citeshttps://doi.org/10.1109/icess.2016.30openalex-snapshot
Dynamic Analysis of Multi-threaded Embedded Software to Expose Atomicity Violations
inferred← citeshttps://doi.org/10.1109/icse.2012.6227184openalex-snapshot
Axis: Automatically fixing atomicity violations through solving control constraints
inferred← citeshttps://doi.org/10.1109/icst.2012.85openalex-snapshot
A Unified Approach for Localizing Non-deadlock Concurrency Bugs
inferred← citeshttps://doi.org/10.1109/tc.2022.3180990openalex-snapshot
WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants
inferred← citeshttps://doi.org/10.1109/tse.2016.2531666openalex-snapshot
A Lightweight System for Detecting and Tolerating Concurrency Bugs
inferred← citeshttps://doi.org/10.1145/2166956.2166959openalex-snapshot
The potential of sampling for dynamic analysis
inferred← citeshttps://doi.org/10.1145/2491411.2491435openalex-snapshot
Finding incorrect compositions of atomicity
inferred← citeshttps://doi.org/10.1145/2555243.2555276openalex-snapshot
Concurrency bug localization using shared memory access pairs
inferred← citeshttps://doi.org/10.1145/2635868.2635885openalex-snapshot
AI: a lightweight system for tolerating concurrency bugs
inferred← citeshttps://doi.org/10.1145/2642937.2642972openalex-snapshot
Localization of concurrency bugs using shared memory access pairs
inferred← citeshttps://doi.org/10.1145/2692916.2555276openalex-snapshot
Concurrency bug localization using shared memory access pairs
inferred← citeshttps://doi.org/10.1145/3338906.3338927openalex-snapshot
Detecting concurrency memory corruption vulnerabilities
inferred← citeshttps://doi.org/10.1145/3498538openalex-snapshot
BiRD: Race Detection in Software Binaries under Relaxed Memory Models
inferred← citeshttps://doi.org/10.1145/3505250openalex-snapshot
MetaSys: A Practical Open-source Metadata Management System to Implement and Evaluate Cross-layer Optimizations
inferred← citeshttps://doi.org/10.4271/2015-01-0174openalex-snapshot
Verification of Group Variables for Detecting Inconsistencies in Software
inferred← citeshttps://doi.org/10.48550/arxiv.1403.1749openalex-snapshot
Automatically finding atomic regions for fixing bugs in Concurrent programs
inferred← citeshttps://doi.org/10.5555/2337223.2337259openalex-snapshot
Axis: automatically fixing atomicity violations through solving control constraints
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.