Browse "School of Computing(전산학부)" by Author Hong, Jaemin
Showing results 1 to 5 of 5
| Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs Hong, Jaemin; Ryu, Sukyoung, 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, pp.716 - 728, IEEE Computer Society, 2023-05-17 |
| Path dependent types with path-equality Hong, Jaemin; Park, Jihyeok; Ryu, Sukyoung, 9th ACM SIGPLAN International Symposium on Scala (Scala) as part of the ACM SIGPLAN International Conference on Functional Programming (ICFP), pp.35 - 39, ACM Press, 2018-09-28 |
| Polymorphic symmetric multiple dispatch with variance Park, Gyunghee; Hong, Jaemin; Steele Jr., Guy L.; Ryu, Sukyoung, Proceedings of the ACM on Programming Languages, v.3, no.POPL, pp.1 - 28, 2019-01 |
| Polymorphic symmetric multiple dispatch with variance Park, Gyunghee; Hong, Jaemin; Steele Jr., Guy L.; Ryu, Sukyoung, Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages, pp.1 - 28, Association for Computing Machinery (ACM), 2019-01-19 |
| Static Analysis of JNI Programs via Binary Decompilation Park, Jihee; Lee, Sungho; Hong, Jaemin; Ryu, Sukyoung, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.49, no.5, pp.3089 - 3105, 2023-05 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,837 2020 - 2024
- 5,390 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989