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.