| 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 |
| Static Analysis of JNI Programs via Binary Decompilation J Park, S Lee, J Hong, S Ryu IEEE Transactions on Software Engineering, 2023 | 4 | 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 | 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 |
| Improving Automatic C-to-Rust Translation with Static Analysis J Hong 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 2 | 2023 |
| 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
