Refereed International Conference Publications

Compiler-Runtime Co-operative Chain of Verification for LLM-Based Code Optimization [abstract]
Hyunho Kwon, Sanggyu Shin, Ju Min Lee, Hoyun Youm, Seungbin Song, Seongho Kim, Hanwoong Jung, Seungwon Lee, and Hanjun Kim
Proceedings of the 2026 International Symposium on Code Generation and Optimization (CGO), January 2026.
Accept Rate: 35% (45/128).