On the public citation graph

Parameterized Verification of GPU Kernel Programs

https://doi.org/10.1109/ipdpsw.2012.302
0 signed · 33 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.1007/11513988_29openalex-snapshot
TVOC: A Translation Validator for Optimizing Compilers
inferredcites →https://doi.org/10.1007/3-540-44585-4_19openalex-snapshot
Parameterized Verification with Automatically Computed Inductive Assertions?
inferredcites →https://doi.org/10.1007/3-540-45319-9_7openalex-snapshot
Automatic Deductive Verification with Invisible Invariants
inferredcites →https://doi.org/10.1007/978-3-540-31985-6_15openalex-snapshot
Verification of Source Code Transformations by Program Equivalence Checking
inferredcites →https://doi.org/10.1007/978-3-540-68237-0_5openalex-snapshot
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_37openalex-snapshot
Trusted Source Translation of a Total Function Language
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_4openalex-snapshot
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_44openalex-snapshot
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
inferredcites →https://doi.org/10.1007/978-3-642-21437-0_15openalex-snapshot
Validated Compilation through Logic
inferredcites →https://doi.org/10.1007/978-3-642-21437-0_17openalex-snapshot
Relational Verification Using Product Programs
inferredcites →https://doi.org/10.1007/978-3-642-34188-5_18openalex-snapshot
Symbolic Testing of OpenCL Code
inferredcites →https://doi.org/10.1016/c2015-0-02431-5openalex-snapshot
Programming Massively Parallel Processors
inferredcites →https://doi.org/10.1145/125826.125848openalex-snapshot
The Omega test: a fast and practical integer programming algorithm for dependence analysis
inferredcites →https://doi.org/10.1145/1595696.1595758openalex-snapshot
Behavioral automata composition for automatic topology independent verification of parameterized systems
inferredcites →https://doi.org/10.1145/1882291.1882320openalex-snapshot
Scalable SMT-based verification of GPU kernel functions
inferredcites →https://doi.org/10.1145/1941553.1941574openalex-snapshot
GRace
inferredcites →https://doi.org/10.1145/2145816.2145844openalex-snapshot
GKLEE
inferredcites →https://doi.org/10.1145/349299.349328openalex-snapshot
Type-based race detection for Java

What points at this work

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

inferred← citeshttps://doi.org/10.1002/cpe.8105openalex-snapshot
Structural testing for CUDA programming model
inferred← citeshttps://doi.org/10.1007/978-3-030-81685-8_19openalex-snapshot
Checking Data-Race Freedom of GPU Kernels, Compositionally
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-031-98682-6_17openalex-snapshot
$$\textsf{GPUMC}$$: A Stateless Model Checker for GPU Weak Memory Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-319-03542-0_5openalex-snapshot
A Hoare Logic for SIMT Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-48869-1_7openalex-snapshot
Automated Verification of Functional Correctness of Race-Free GPU Programs
inferred← citeshttps://doi.org/10.1007/s10703-023-00415-0openalex-snapshot
Memory access protocols: certified data-race freedom for GPU kernels
inferred← citeshttps://doi.org/10.1007/s10817-017-9428-2openalex-snapshot
Automated Verification of Functional Correctness of Race-Free GPU Programs
inferred← citeshttps://doi.org/10.1109/sc.2012.94openalex-snapshot
Parametric flows: Automated behavior equivalencing for symbolic analysis of races in CUDA programs
inferred← citeshttps://doi.org/10.1109/sc.2014.20openalex-snapshot
Practical Symbolic Race Checking of GPU Programs
inferred← citeshttps://doi.org/10.1145/3001834openalex-snapshot
A Hoare Logic for GPU Kernels
inferred← citeshttps://doi.org/10.1145/3427761.3428344openalex-snapshot
Towards verified construction of correct and optimised GPU software
inferred← citeshttps://doi.org/10.1145/3689797openalex-snapshot
Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs
inferred← citeshttps://doi.org/10.1145/3776693openalex-snapshot
A Modular Static Cost Analysis for GPU Warp-Level Parallelism
inferred← citeshttps://doi.org/10.11606/t.55.2023.tde-20042023-104007openalex-snapshot
Modelo e critérios de teste estrutural para programas CUDA
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.