Ph.D. Student
Software Foundations Laboratory
Department of Computer Science and Engineering
Seoul National University
Email: seunghyeon.nam (at) sf.snu.ac.kr
Address: Room 315-1, Building 302, 1 Gwanak-ro, Gwanak-gu, Seoul, Korea (PO. 08826)
Publications
-
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, Juneyoung Lee,
Proceedings of the ACM on Programming Languages, Volume 7, Issue PLDI (PLDI 2023).
-
SMT-Based Translation Validation for Machine Learning Compiler
Seongwon Bang, Seunghyeon Nam, Inhwan Chun, Ho Young Jhoo, Juneyoung Lee,
Proceedings of the 34th International Conference on Computer Aided Verification (CAV 2022)
Education
- Mar. 2023 - Current, Ph.D. Student, Computer Science and Engineering, Seoul National University
- Mar. 2021 - Feb. 2023, M.S., Computer Science and Engineering, Seoul National University
- Mar. 2017 - Feb. 2021, B.S., Computer Science, Yonsei University