Refereed International Conference Publications

Compiler-Runtime Co-operative Chain of Verification for LLM-Based Code Optimization [abstract] (IEEE Xplore, PDF)
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).

Patents

Electronic Apparatus for Controlling Placement of Bootstrapping Operations in Fully Homomorphic Encryption Based on Range Analysis, and Method Thereof [abstract]
Hanjun Kim, Hoyun Youm, Seonyoung Cheon, Dongkwan Kim, Sungwoo Yun, Chan Lee, Seongho Kim, and Yongwoo Lee
KR Patent App. 10-2026-0024507, February 2026.