| JEST: N+1-version Differential Testing of Both JavaScript Engines J Park, S An, D Youn, G Kim, S Ryu 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 34 | 2021 |
| JISET: JavaScript IR-based Semantics Extraction Toolchain J Park, J Park, S An, S Ryu 2020 35th IEEE/ACM International Conference on Automated Software …, 2020 | 23 | 2020 |
| Analysis of javascript web applications using safe 2.0 J Park, Y Ryou, J Park, S Ryu 2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017 | 22 | 2017 |
| JavaScript API misuse detection by using typescript J Park Proceedings of the companion publication of the 13th international …, 2014 | 15 | 2014 |
| Accelerating javascript static analysis via dynamic shortcuts J Park, J Park, D Youn, S Ryu Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 14 | 2021 |
| Toward analysis and bug finding in JavaScript web applications in the wild S Ryu, J Park, J Park IEEE Software 36 (3), 74-82, 2018 | 14 | 2018 |
| A survey of parametric static analysis J Park, H Lee, S Ryu ACM Computing Surveys (CSUR) 54 (7), 1-37, 2021 | 11 | 2021 |
| Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction J Park, X Rival, S Ryu Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017 | 9 | 2017 |
| JSTAR: JavaScript specification type analyzer using refinement J Park, S An, W Shin, Y Sim, S Ryu 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 8 | 2021 |
| Automatically deriving JavaScript static analyzers from specifications using meta-level static analysis J Park, S An, S Ryu Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 6 | 2022 |
| 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 |
| Feature-sensitive coverage for conformance testing of programming language implementations J Park, D Youn, K Lee, S Ryu Proceedings of the ACM on Programming Languages 7 (PLDI), 493-515, 2023 | 2 | 2023 |
| A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency J Park, J Park, Y Lee, CJ Kim, B Kim, S Ryu Conference Companion of the 2nd International Conference on Art, Science …, 2018 | 2 | 2018 |
| Toward Building Memory-safe Network Functions with Modest Performance Overhead K Lee, S Woo, S Seo, J Park, S Ryu, S Moon ACM SIGCOMM Workshop NetPL 2017, 2017 | 1 | 2017 |
| PL4XGL: A Programming Language Approach to Explainable Graph Learning M Jeon, J Park, H Oh Proceedings of the ACM on Programming Languages 8 (PLDI), 2148-2173, 2024 | | 2024 |
| JavaScript Language Design and Implementation in Tandem S Ryu, J Park Communications of the ACM 67 (5), 86-95, 2024 | | 2024 |
Sukyoung RyuProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
