On the public citation graph
Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs
0 signed · 83 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.1007/11547662_21openalex-snapshot
Understanding the Origin of Alarms in Astrée
inferredcites →https://doi.org/10.1007/3-540-45139-0_7openalex-snapshot
Automatically validating temporal safety properties of interfaces
inferredcites →https://doi.org/10.1007/978-3-030-81685-8_19openalex-snapshot
Checking Data-Race Freedom of GPU Kernels, Compositionally
inferredcites →https://doi.org/10.1007/978-3-319-03542-0_5openalex-snapshot
A Hoare Logic for SIMT Programs
inferredcites →https://doi.org/10.1007/978-3-319-08867-9_15openalex-snapshot
Engineering a Static Verification Tool for GPU Kernels
inferredcites →https://doi.org/10.1007/978-3-319-12736-1_11openalex-snapshot
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking
inferredcites →https://doi.org/10.1007/978-3-319-19249-9_35openalex-snapshot
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking
inferredcites →https://doi.org/10.1007/978-3-319-52709-3_10openalex-snapshot
An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection
inferredcites →https://doi.org/10.1007/978-3-319-63387-9_25openalex-snapshot
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-34188-5_18openalex-snapshot
Symbolic Testing of OpenCL Code
inferredcites →https://doi.org/10.1007/978-3-642-35873-9_3openalex-snapshot
Complete Abstractions Everywhere
inferredcites →https://doi.org/10.1007/s10462-018-09679-zopenalex-snapshot
Machine Learning and Deep Learning frameworks and libraries for large-scale data mining: a survey
inferredcites →https://doi.org/10.1007/s10703-021-00362-8openalex-snapshot
Static detection of uncoalesced accesses in GPU programs
inferredcites →https://doi.org/10.1007/s10703-023-00415-0openalex-snapshot
Memory access protocols: certified data-race freedom for GPU kernels
inferredcites →https://doi.org/10.1007/s10817-017-9428-2openalex-snapshot
Automated Verification of Functional Correctness of Race-Free GPU Programs
inferredcites →https://doi.org/10.1016/j.infsof.2009.10.004openalex-snapshot
Filtering false alarms of buffer overflow analysis using SMT solvers
inferredcites →https://doi.org/10.1016/j.jmgm.2010.06.010openalex-snapshot
GPU-accelerated molecular modeling coming of age
inferredcites →https://doi.org/10.1016/j.scico.2012.07.004openalex-snapshot
Dual analysis for proving safety and finding bugs
inferredcites →https://doi.org/10.1016/j.scico.2014.03.013openalex-snapshot
Specification and verification of GPGPU programs
inferredcites →https://doi.org/10.1109/apsec48747.2019.00019openalex-snapshot
Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard
inferredcites →https://doi.org/10.1109/ares.2013.59openalex-snapshot
Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution
inferredcites →https://doi.org/10.1109/ase.2008.29openalex-snapshot
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
inferredcites →https://doi.org/10.1109/asew.2019.00023openalex-snapshot
Explaining Static Analysis - A Perspective
inferredcites →https://doi.org/10.1109/cgo.2004.1281665openalex-snapshot
LLVM: a compilation framework for lifelong program analysis & transformation
inferredcites →https://doi.org/10.1109/dsn.2018.00033openalex-snapshot
OWL: Understanding and Detecting Concurrency Attacks
inferredcites →https://doi.org/10.1109/icpp.2013.15openalex-snapshot
HAccRG: Hardware-Accelerated Data Race Detection in GPUs
inferredcites →https://doi.org/10.1109/icse.2013.6606613openalex-snapshot
Why don't software developers use static analysis tools to find bugs?
inferredcites →https://doi.org/10.1109/icst.2017.53openalex-snapshot
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking
inferredcites →https://doi.org/10.1109/ipdpsw.2012.302openalex-snapshot
Parameterized Verification of GPU Kernel Programs
inferredcites →https://doi.org/10.1109/isca45697.2020.00088openalex-snapshot
ScoRD: A Scoped Race Detector for GPUs
inferredcites →https://doi.org/10.1109/ispass.2009.4919648openalex-snapshot
Analyzing CUDA workloads using a detailed GPU simulator
inferredcites →https://doi.org/10.1109/issre.2015.7381820openalex-snapshot
Efficient elimination of false positives using static analysis
inferredcites →https://doi.org/10.1109/sc.2014.20openalex-snapshot
Practical Symbolic Race Checking of GPU Programs
inferredcites →https://doi.org/10.1109/scam.2008.24openalex-snapshot
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
inferredcites →https://doi.org/10.1109/scam51674.2020.00035openalex-snapshot
Techniques for Efficient Automated Elimination of False Positives
inferredcites →https://doi.org/10.1109/snpd.2016.7515929openalex-snapshot
Detecting integer overflow in Windows binary executables based on symbolic execution
inferredcites →https://doi.org/10.1109/tpds.2013.44openalex-snapshot
GMRace: Detecting Data Races in GPU Programs via a Low-Overhead Scheme
inferredcites →https://doi.org/10.1109/tse.2013.2297120openalex-snapshot
Symbolic Crosschecking of Data-Parallel Floating-Point Code
inferredcites →https://doi.org/10.1134/s036176881805002xopenalex-snapshot
Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation
inferredcites →https://doi.org/10.1134/s0361768818060051openalex-snapshot
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution
inferredcites →https://doi.org/10.1145/1468075.1468121openalex-snapshot
Sorting networks and their applications
inferredcites →https://doi.org/10.1145/1882291.1882320openalex-snapshot
Scalable SMT-based verification of GPU kernel functions
inferredcites →https://doi.org/10.1145/2254064.2254110openalex-snapshot
Verifying GPU kernels by test amplification
inferredcites →https://doi.org/10.1145/2442516.2442520openalex-snapshot
Array dataflow analysis for polyhedral X10 programs
inferredcites →https://doi.org/10.1145/2491411.2494569openalex-snapshot
Precise range analysis on large industry code
inferredcites →https://doi.org/10.1145/2743017openalex-snapshot
The Design and Implementation of a Verification Technique for GPU Kernels
inferredcites →https://doi.org/10.1145/2771284.2771285openalex-snapshot
Using targeted symbolic execution for reducing false-positives in dataflow analysis
inferredcites →https://doi.org/10.1145/2851613.2851830openalex-snapshot
Verifying CUDA programs using SMT-based context-bounded model checking
inferredcites →https://doi.org/10.1145/3062341.3062342openalex-snapshot
BARRACUDA: binary-level analysis of runtime RAces in CUDA programs
inferredcites →https://doi.org/10.1145/3188720openalex-snapshot
Lessons from building static analysis tools at Google
inferredcites →https://doi.org/10.1145/3192366.3192368openalex-snapshot
CURD: a dynamic CUDA race detector
inferredcites →https://doi.org/10.1145/3192366.3192417openalex-snapshot
User-guided program reasoning using Bayesian inference
inferredcites →https://doi.org/10.1145/3290370openalex-snapshot
A true positives theorem for a static race detector
inferredcites →https://doi.org/10.1145/3361870openalex-snapshot
Exploiting Bank Conflict-based Side-channel Timing Leakage of GPUs
inferredcites →https://doi.org/10.1145/3434306openalex-snapshot
Modeling and analyzing evaluation cost of CUDA kernels
inferredcites →https://doi.org/10.1145/3460319.3464832openalex-snapshot
Validating static warnings via testing code fragments
inferredcites →https://doi.org/10.1145/3462673openalex-snapshot
Complete Abstractions for Checking Language Inclusion
inferredcites →https://doi.org/10.1145/3498721openalex-snapshot
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis
inferredcites →https://doi.org/10.1371/journal.pcbi.1005659openalex-snapshot
OpenMM 7: Rapid development of high performance algorithms for molecular dynamics
inferredcites →https://doi.org/10.23919/date.2019.8715160openalex-snapshot
CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs
inferredcites →https://doi.org/10.3978/j.issn.2223-4292.2012.08.02openalex-snapshot
A survey of GPU-based medical image computing techniques.
inferredcites →https://doi.org/10.4204/eptcs.356.4openalex-snapshot
Provable GPU Data-Races in Static Race Detection
inferredcites →https://doi.org/10.5281/zenodo.12666681openalex-snapshot
Sound and partially-complete static analysis of data-races in GPU programs (Artifact)
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-97492-2_6openalex-snapshot
Hidden Assumptions in Static Verification of Data-race Free GPU Programs
inferred← citeshttps://doi.org/10.1007/978-3-032-07106-4_11openalex-snapshot
Relating Distances and Abstractions
inferred← citeshttps://doi.org/10.1007/978-3-032-32537-2_26openalex-snapshot
Ensuring Safety in Automotive Machine Learning Inference: From Pre-validated Static Kernels to Machine Learning Graph Compilation
inferred← citeshttps://doi.org/10.1007/s11227-025-07237-3openalex-snapshot
Evaluating ChatGPT’s strengths and limitations for data race detection in parallel programming via prompt engineering
inferred← citeshttps://doi.org/10.1109/access.2026.3658502openalex-snapshot
TIPS: A Prompt Engineering Framework for Code Classification and Generation on Resource-Constrained Systems
inferred← citeshttps://doi.org/10.1109/sc41406.2024.00042openalex-snapshot
HiRace: Accurate and Fast Data Race Checking for GPU Programs
inferred← citeshttps://doi.org/10.1145/3731599.3767481openalex-snapshot
Scabbard: LLVM Instrumentation-aided Race Checking in CPU/GPU Unified Memory for AMD GPUs
inferred← citeshttps://doi.org/10.1145/3763075openalex-snapshot
SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races
inferred← citeshttps://doi.org/10.1145/3776693openalex-snapshot
A Modular Static Cost Analysis for GPU Warp-Level Parallelism
inferred← citeshttps://doi.org/10.1145/3808280openalex-snapshot
Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
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.