Sukyoung Ryu
KAIST
H-index: 23
Asia-South Korea
Top articles of Sukyoung Ryu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Bringing the WebAssembly Standard up to Speed with SpecTec | Proceedings of the ACM on Programming Languages | Dongjun Youn Wonho Shin Jaehyun Lee Sukyoung Ryu Joachim Breitner | 2024/4/1 |
An Empirical Study of JVMs’ Behaviors on Erroneous JNI Interoperations | IEEE Transactions on Software Engineering | Sungjae Hwang Sungho Lee Sukyoung Ryu | 2024/3/5 |
JavaScript Language Design and Implementation in Tandem | Communications of the ACM | Sukyoung Ryu Jihyeok Park | 2024 |
Wasm SpecTec: Engineering a Formal Language Standard | arXiv preprint arXiv:2311.07223 | Joachim Breitner Philippa Gardner Jaehyun Lee Sam Lindley Matija Pretnar | 2023/11/13 |
Static Analysis of JNI Programs via Binary Decompilation | IEEE Transactions on Software Engineering | Jihee Park Sungho Lee Jaemin Hong Sukyoung Ryu | 2023/2/2 |
Declarative static analysis for multilingual programs using CodeQL | Software: Practice and Experience | Dongjun Youn Sungho Lee Sukyoung Ryu | 2023/7 |
Semantic Transformation Framework for Rewriting Rules | Jihee Park Jaemin Hong Sukyoung Ryu | 2023/1/15 | |
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations | Proceedings of the ACM on Programming Languages | Jihyeok Park Dongjun Youn Kanguk Lee Sukyoung Ryu | 2023/6/6 |
Concrat: An automatic C-to-Rust lock API translator for concurrent programs | Jaemin Hong Sukyoung Ryu | 2023/5/14 | |
Long-Term Mentoring for Computer Science Researchers | Communications of the ACM | Emily Ruppel Sihang Liu Elba Garza Sukyoung Ryu Alexandra Silva | 2023/4/21 |
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis | Jihyeok Park Seungmin An Sukyoung Ryu | 2022/11/7 | |
A survey of parametric static analysis | Jihyeok Park Hongki Lee Sukyoung Ryu | 2021/7/18 | |
Justgen: Effective test generation for unspecified JNI behaviors on jvms | Sungjae Hwang Sungho Lee Jihoon Kim Sukyoung Ryu | 2021/5/22 | |
Jest: N+ 1-version differential testing of both javascript engines and specification | Jihyeok Park Seungmin An Dongjun Youn Gyeongwon Kim Sukyoung Ryu | 2021/5/22 | |
JSTAR: JavaScript specification type analyzer using refinement | Jihyeok Park Seungmin An Wonho Shin Yusung Sim Sukyoung Ryu | 2021/11/15 | |
Accelerating javascript static analysis via dynamic shortcuts | Joonyoung Park Jihyeok Park Dongjun Youn Sukyoung Ryu | 2021/8/20 | |
Analysis of blockchain smart contracts: Techniques and insights | Shinhae Kim Sukyoung Ryu | 2020/9/28 | |
All about activity injection: Threats, semantics, detection, and defense | Software: Practice and Experience | Sungjae Hwang Sungho Lee Sukyoung Ryu | 2020/7 |
Gap between theory and practice: An empirical study of security patches in solidity | Sungjae Hwang Sukyoung Ryu | 2020/6/27 | |
Jiset: Javascript ir-based semantics extraction toolchain | Jihyeok Park Jihee Park Seungmin An Sukyoung Ryu | 2020/12/21 |