Publications of Jaemin Hong

International Conferences

Improving Automatic C-to-Rust Translation with Static Analysis

Jaemin Hong

Proceedings of the 45th ACM/IEEE International Conference on Software Engineering (ICSE): Companion Proceedings, Doctoral Symposium, May 2023

Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs

Jaemin Hong and Sukyoung Ryu

Proceedings of the 45th ACM/IEEE International Conference on Software Engineering (ICSE), May 2023

Semantic Transformation Framework for Rewriting Rules

Jihee Park, Jaemin Hong, and Sukyoung Ryu

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM), January 2023

Polymorphic Symmetric Multiple Dispatch with Variance

Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., and Sukyoung Ryu

Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), January 2019

Path Dependent Types with Path-Equality

Jaemin Hong, Jihyeok Park, and Sukyoung Ryu

Proceedings of the 9th ACM SIGPLAN Symposium on Scala, September 2018

International Journals

Static Analysis of JNI Programs via Binary Decompilation

Jihee Park*, Sungho Lee*, Jaemin Hong, and Sukyoung Ryu (*equally contributed)

IEEE Transactions on Software Engineering, vol. 49, no. 5, May 2023

Domestic Conferences

Type-Safe Encoding of Objects with Functions via Match Types in Scala

Jaemin Hong and Sukyoung Ryu

KIISE Korea Software Congress (KSC) 2022, December 2022

System Fπ: System F⟨: with Pattern-Based Refined Types

Jaemin Hong and Sukyoung Ryu

KIISE Korea Software Congress (KSC) 2018, December 2018

Designing a Search Engine Specialized for University Portal Sites

Hyunwoo Kang, Jiseok Kim, Jaemin Hong, and Sukyoung Ryu

KIISE Korea Software Congress (KSC) 2018, December 2018

Formalization of Path Dependent Types with Path-Equality

Jaemin Hong and Sukyoung Ryu

KIISE Korea Computer Congress (KCC) 2018, June 2018

Formalization of the Static Semantics of Object-Oriented Languages with Variance via Type Context

Jaemin Hong and Sukyoung Ryu

KIISE Korea Software Congress (KSC) 2017, December 2017

Design of Timetable Scheduling Algorithm Suitable for Free Course Registration

Yusung Sim, Yeongju Song, Jaewon Wi, Jaemin Hong, Doohwan Bae, Eunkyung Jee, and Jihun Park

KIISE Winter Conference 2014, December 2014

Domestic Journals

Symmetric Multiple Dispatch for Expressive Object-Oriented Languages

Jaemin Hong and Sukyoung Ryu

Communications of the Korean Institute of Information Scientists and Engineers, vol. 37, no. 3, March 2019