Jaemin Hong
Department of Computer Science and Engineering, UNIST
I am an assistant professor in the Department of Computer Science and Engineering, UNIST, 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 work has successfully replaced various C features—such as locks, output parameters, unions, and I/O operations—with safe Rust equivalents. I plan to extend this work to other C features and apply formal verification techniques to ensure the correctness of the translation.
Employment
Assistant Professor, Department of Computer Science and Engineering, UNIST, South Korea (March 2026–Present)
Research Affiliate, Department of Computer Science, Yale University, USA (May 2025–Present)
Research Fellow, Institute of Information and Electronics, KAIST, South Korea (February 2025–February 2026)
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
Books
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, ASE 2026, ECOOP 2026, ISSTA 2026
External Reviewers
OOPSLA 2025
Journal Reviewers
TOPLAS, TSE, TOSEM, EMSE, SCICO, 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