He, M., Xia, S., Jia, H., Wu, W., & Song, L. (2026). Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels.
Chicago-Zitierstil (17. Ausg.)He, Mengting, Shihao Xia, Haomin Jia, Wenfei Wu, und Linhai Song. Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels. 2026.
MLA-Zitierstil (9. Ausg.)He, Mengting, et al. Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.