Model2Kernel: Model-Aware Symbolic Execution for Safe CUDA Kernels

(arxiv.org)

2 points | by PaulHoule 12 hours ago ago