On the public citation graph

Modeling and analyzing evaluation cost of CUDA kernels

https://doi.org/10.1145/3434306
0 signed · 50 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/978-3-319-08867-9_50openalex-snapshot
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
inferredcites →https://doi.org/10.1007/978-3-319-32149-3_53openalex-snapshot
Benchmarking the Cost of Thread Divergence in CUDA
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-319-63390-9_4openalex-snapshot
Automated Resource Analysis with Coq Proof Objects
inferredcites →https://doi.org/10.1007/978-3-319-89884-1_19openalex-snapshot
A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification
inferredcites →https://doi.org/10.1007/978-3-642-25318-8_19openalex-snapshot
Cost Analysis of Concurrent OO Programs
inferredcites →https://doi.org/10.1007/978-3-662-46669-8_6openalex-snapshot
Automatic Static Cost Analysis for Parallel Programs
inferredcites →https://doi.org/10.1109/12.21127openalex-snapshot
Speedup versus efficiency in parallel systems
inferredcites →https://doi.org/10.1109/eurosp51992.2021.00024openalex-snapshot
Sponge Examples: Energy-Latency Attacks on Neural Networks
inferredcites →https://doi.org/10.1109/lics.2011.22openalex-snapshot
Linear Dependent Types and Relative Completeness
inferredcites →https://doi.org/10.1145/1480881.1480898openalex-snapshot
SPEED
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/1964179.1964184openalex-snapshot
Reducing branch divergence in GPU programs
inferredcites →https://doi.org/10.1145/2145816.2145844openalex-snapshot
GKLEE
inferredcites →https://doi.org/10.1145/224164.224210openalex-snapshot
Parallelism in sequential functional languages
inferredcites →https://doi.org/10.1145/232627.232650openalex-snapshot
A provable time and space efficient implementation of NESL
inferredcites →https://doi.org/10.1145/2362389.2362393openalex-snapshot
Multivariate amortized resource analysis
inferredcites →https://doi.org/10.1145/2370036.2145844openalex-snapshot
GKLEE
inferredcites →https://doi.org/10.1145/2737924.2737955openalex-snapshot
Compositional certified resource bounds
inferredcites →https://doi.org/10.1145/2784731.2784749openalex-snapshot
Denotational cost semantics for functional languages with inductive types
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/2935764.2935793openalex-snapshot
Latency-Hiding Work Stealing
inferredcites →https://doi.org/10.1145/3001834openalex-snapshot
A Hoare Logic for GPU Kernels
inferredcites →https://doi.org/10.1145/3009837.3009842openalex-snapshot
Towards automatic resource bound analysis for OCaml
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/3158124openalex-snapshot
Monadic refinements for relational cost analysis
inferredcites →https://doi.org/10.1145/3192366.3192368openalex-snapshot
CURD: a dynamic CUDA race detector
inferredcites →https://doi.org/10.1145/3192366.3192394openalex-snapshot
Bounded expectations: resource analysis for probabilistic programs
inferredcites →https://doi.org/10.1145/321812.321815openalex-snapshot
The Parallel Evaluation of General Arithmetic Expressions
inferredcites →https://doi.org/10.1145/3236786openalex-snapshot
Parallel complexity analysis with temporal session types
inferredcites →https://doi.org/10.1145/604131.604148openalex-snapshot
Static prediction of heap space usage for first-order functional programs
inferredcites →https://doi.org/10.48550/arxiv.1104.0193openalex-snapshot
Linear Dependent Types and Relative Completeness
inferredcites →https://doi.org/10.48550/arxiv.1905.01833openalex-snapshot
Characterizing and Detecting CUDA Program Bugs

What points at this work

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

inferred← citeshttps://doi.org/10.2139/ssrn.4881493openalex-extracted
An Innovative Exploration of Deep Learning for Pesticide and Veterinary Drug Development: A Molecular Generative Model Based on Scaffold Structure Mha-Rnn
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/s10703-023-00415-0openalex-snapshot
Memory access protocols: certified data-race freedom for GPU kernels
inferred← citeshttps://doi.org/10.1016/j.suscom.2026.101494openalex-snapshot
A Comprehensive Study on CPU Power Consumption Estimation Using Advanced Predictive Modeling Techniques for Optimized Resource Allocation and Performance Management
inferred← citeshttps://doi.org/10.1109/correctness56720.2022.00010openalex-snapshot
MiniKokkos: A Calculus of Portable Parallelism
inferred← citeshttps://doi.org/10.1109/ricai68060.2025.11385090openalex-snapshot
Dynamic Spatial Reservation for Real-Time Edge Intelligence Tasks Scheduling on GPU
inferred← citeshttps://doi.org/10.1109/tns.2025.3631145openalex-snapshot
GPU-Accelerated Real-Time Online Processing for HEPS-BPIX4 DAQ
inferred← citeshttps://doi.org/10.1145/3617232.3624856openalex-snapshot
TrackFM: Far-out Compiler Support for a Far Memory World
inferred← citeshttps://doi.org/10.1145/3639403openalex-snapshot
Modeling and Analyzing Evaluation Cost of CUDA Kernels
inferred← citeshttps://doi.org/10.1145/3649169openalex-snapshot
Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores
inferred← citeshttps://doi.org/10.1145/3649169.3649249openalex-snapshot
Automatic Static Analysis-Guided Optimization of CUDA Kernels
inferred← citeshttps://doi.org/10.1145/3665643openalex-snapshot
(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
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.20944/preprints202405.0525.v1openalex-snapshot
Systematic Review of Accelerating Time-Series Biosignal Machine Learning Processes Using GPU Architectures
inferred← citeshttps://doi.org/10.35629/5252-0704405415openalex-snapshot
Parallel Computing Data Processing: Frameworks, Implementations, and Case Studies
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.