Jaemin Hong

jaemin.hong@kaist.ac.kr GitHub CV

I am a research associate in the Programming Language Research Group (PLRG), led by Prof. Sukyoung Ryu, at the School of Computing, 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 Associate, School of Computing, 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

Honors & Awards

Jang Young Sil Fellow Program (Excellence Track), KAIST, February 2025

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

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