Automatic Static Analysis-Guided Optimization of CUDA Kernels.
Mark LouStefan K. MullerPublished in: PMAM@PPoPP (2024)
Keyphrases
- static analysis
- dynamic analysis
- source code
- symbolic execution
- java card
- optimization algorithm
- malicious code
- kernel function
- abstract interpretation
- optimization problems
- regular expressions
- multiple kernel learning
- domain knowledge
- case study
- data sets
- general purpose
- semi automatic
- model checking
- relational databases
- feature space
- database systems
- databases