| Static analysis of JNI programs via binary decompilation J Park, S Lee, J Hong, S Ryu IEEE Transactions on Software Engineering 49 (5), 3089-3105, 2023 | 16 | 2023 |
| Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs J Hong, S Ryu Proceedings of the 45th International Conference on Software Engineering …, 2023 | 8 | 2023 |
| Polymorphic symmetric multiple dispatch with variance G Park, J Hong, GL Steele Jr, S Ryu Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 8 | 2019 |
| Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation J Hong, S Ryu Proceedings of the ACM on Programming Languages 8 (PLDI), 716-740, 2024 | 3 | 2024 |
| Improving Automatic C-to-Rust Translation with Static Analysis J Hong 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 3 | 2023 |
| Path dependent types with path-equality J Hong, J Park, S Ryu Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 35-39, 2018 | 3 | 2018 |
| Type-migrating C-to-Rust translation using a large language model J Hong, S Ryu Empirical Software Engineering 30 (1), 3, 2025 | 2 | 2025 |
| To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions J Hong, S Ryu Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 2 | 2024 |
| Introduction to Programming Languages J Hong, S Ryu | 2 | 2021 |
| Semantic Transformation Framework for Rewriting Rules J Park, J Hong, S Ryu Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial …, 2023 | | 2023 |
Sukyoung RyuProfessor, School of Computing, KAISTVerified email at kaist.ac.kr