I am a research fellow at the Institute of Information and Electronics, KAIST, South Korea.
I earned my PhD from KAIST under the supervision of Prof. Sukyoung Ryu.
My research focuses on programming languages and software engineering, with a particular interest in program transformation and static analysis.
Recently, I have been working on improving the automatic translation from C to Rust.
Rust is a promising systems programming language that ensures safety at compile time through type checking.
However, existing translators struggle to map certain C features to Rust's safe counterparts.
My recent studies have successfully replaced various features in C, such as locks, output parameters, unions, and I/O operations, with safe Rust features.
I plan to extend this work to other C features and apply formal verification techniques to ensure the correctness of the translation.
Employment
Research Fellow, Institute of Information and Electronics, KAIST, South Korea (February 2025–Present)
Education
PhD in Computer Science, KAIST, South Korea (March 2020–February 2025)
Dissertation: Improving C-to-Rust Translation with Static Analysis
link
Advisor: Sukyoung Ryu
BS in Computer Science, KAIST, South Korea (March 2016–February 2020)
Double Major in Mathematics
Cumulative GPA: 4.17/4.3
Publications
2025
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
link
Jaemin Hong and Sukyoung Ryu
Automatically Translating C to Rust
Jaemin Hong and Sukyoung Ryu
Communications of the ACM (CACM), To appear
Type-Migrating C-to-Rust Translation Using a Large Language Model
link
Jaemin Hong and Sukyoung Ryu
Empirical Software Engineering (EMSE), Volume 30
2024
Taming Shared Mutable States of Operating Systems in Rust
link
Jaemin Hong, Sunghwan Shim, Sanguk Park, Tae Woo Kim, Jungwoo Kim, Junsoo Lee, Sukyoung Ryu, and Jeehoon Kang
Science of Computer Programming (SCICO), Volume 238
To Tag, or Not to Tag: Translating C’s Unions to Rust’s Tagged Unions
link
Jaemin Hong and Sukyoung Ryu
The 39th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
link
talk
Jaemin Hong and Sukyoung Ryu
Proceedings of the ACM on Programming Languages (PACMPL), Volume 8, Issue PLDI
2023
Improving Automatic C-to-Rust Translation with Static Analysis
link
Jaemin Hong
The 45th ACM/IEEE International Conference on Software Engineering, Doctoral Symposium (ICSE DS)
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
link
talk
Jaemin Hong and Sukyoung Ryu
The 45th ACM/IEEE International Conference on Software Engineering (ICSE)
Static Analysis of JNI Programs via Binary Decompilation
link
Jihee Park*, Sungho Lee*, Jaemin Hong, and Sukyoung Ryu (*equally contributed)
IEEE Transactions on Software Engineering (TSE), Volume 49, Issue 5
Semantic Transformation Framework for Rewriting Rules
link
Jihee Park, Jaemin Hong, and Sukyoung Ryu
The 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM)
2019
Polymorphic Symmetric Multiple Dispatch with Variance
link
Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., and Sukyoung Ryu
Proceedings of the ACM on Programming Languages (PACMPL), Volume 3, Issue POPL
2018
Path Dependent Types with Path-Equality
link
talk
Jaemin Hong, Jihyeok Park, and Sukyoung Ryu
The 9th ACM SIGPLAN Symposium on Scala
Books
타입으로 견고하게 다형성으로 유연하게: 탄탄한 개발을 위한 씨줄과 날줄
교보문고
알라딘
예스24
Jaemin Hong, 도서출판 인사이트, October 2023
Introduction to Programming Languages
link
Jaemin Hong and Sukyoung Ryu, August 2023
Grants
Development of Techniques for C-to-Rust Translation of System APIs Using Static Analysis
Jang Young Sil Fellow Program (Excellence Track), KAIST, 2025
Honors & Awards
Best PhD Dissertation Award, College of Engineering, KAIST, February 2025
Outstanding PhD Thesis Award, School of Computing, KAIST, February 2025
Outstanding Teaching Assistant Award, School of Computing, KAIST
Spring 2020, Fall 2020, Spring 2021, Spring 2022, Fall 2022, Spring 2023
President's Award for Academic Excellence, KAIST, August 2020
Kwanjeong Domestic Graduate School Scholarship, Kwanjeong Educational Foundation, May 2020
Summa Cum Laude, KAIST, February 2020
Second Prize for Student Research Competition, The 16th Asian Symposium on Programming Languages and Systems (APLAS), December 2018
Title: Path Dependent Types with Path-Equality
Dean's List, College of Engineering, KAIST
Spring 2017, Fall 2017, Spring 2018, Fall 2018
Dean's List, School of the Freshman, KAIST
Fall 2016
POSA IT Scholarship, Korea Postal Service Agency, June 2017
KAIST Presidential Fellowship (KPF), KAIST, March 2016
Activities
Program Committee Members
ASE 2025, SCAM 2025
External Reviewers
OOPSLA 2025
Journal Reviewers
TOPLAS, TSE, TOSEM, EMSE, ASE
Book Reviewers
I Guess We're Doing Functional Programming Now (CRC Press)
Student Volunteers
ECOOP 2019, ICFP 2020 (co-chair), OOPSLA 2020, POPL 2021, ICFP 2021 (co-chair)
Teaching Assistants, CS320 Programming Languages, KAIST
Spring 2020, Fall 2020, Spring 2021, Fall 2021, Spring 2022, Fall 2022, Spring 2023
Teaching Assistants, CS496 Immersion Camp: Intensive Programming and Startup, KAIST
Summer 2017, Winter 2017, Summer 2018, Winter 2018, Summer 2019, Winter 2019