Yonghyun Kim

About Me

Ph.D. Candidate
Software Foundation Laboratory
School of Computer Science and Engineering
Seoul National University
Place: Room 315-1, Bldg 302, 1, Gwanak-ro, Gwanak-gu, Seoul

Email: yonghyun#kim$sf#snu#ac#kr, where # is dot(.) and $ is at(@).

Research Interests

Software Verification
Real-time System Verification
Compiler Verification
Formal Verification of LLVM compiler with Coq proof assistant

Publications

Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting
Yonghyun Kim, Minki Cho, Jaehyung Lee, Jinwoo Kim, Yaeyoung Yoon, Youngju Song Chung-Kil Hur
Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)
[paper] [project page]
VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems
Yoonseung Kim, Sung-Hwan Lee, Yonghyun Kim, Chung-Kil Hur
Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)
[paper] [project page]
CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification
Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur
Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020)
[paper] [project page]
Crellvm: Verified Credible Compilation for LLVM
Jeehoon Kang*, Yoonseung Kim*, Youngju Song*, Juneyoung Lee, Sanghoon Park,
Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi,
Chung-Kil Hur, Kwangkeun Yi.
(* The first three authors contributed equally to this work and are listed alphabetically.)
Proceedings of the 39th annual ACM SIGPLAN conference on Programming Languages Design and Implementation (PLDI 2018).
[draft paper: pdf] [development: zip]

Education

Mar. 2017 – Feb. 2025, Ph.D. student in Computer Science and Engineering, Seoul National University
Feb. 2009 – Aug. 2016, B.S. Student, Computer Science & Mathematical Sciences (double major), KAIST
Mar. 2007 – Feb. 2009, Daejeon Science High School

Personal Interests

Watching Baseball Game
Cat
History