Jaemin Hong
Scholar

Jaemin Hong

Google Scholar ID: T-PEI74AAAAJ
Ph.D. Student, School of Computing, KAIST
Static analysisProgram transformation
Citations & Impact
All-time
Citations
94
 
H-index
6
 
i10-index
4
 
Publications
11
 
Co-authors
5
list available
Resume (English only)
Academic Achievements
  • Publications: Multiple papers on C-to-Rust translation published in Communications of the ACM, ASE, and other conferences/journals; Participated in several research projects such as Forcrat, Concrat, etc.
Research Experience
  • Research Fellow at the Institute of Information and Electronics, KAIST, South Korea (February 2025–Present).
Education
  • PhD in Computer Science from KAIST, South Korea (March 2020–February 2025), Advisor: Sukyoung Ryu; BS in Computer Science from KAIST, South Korea (March 2016–February 2020), Double Major in Mathematics, Cumulative GPA: 4.17/4.3.
Background
  • Research interests: programming languages and software engineering, with a particular focus on program transformation and static analysis; Brief introduction: dedicated to improving the automatic translation from C to Rust.
Miscellany
  • Contact: jaemin.hong@kaist.ac.kr; Links to GitHub and CV available.