CUFinder

Sukyoung Ryu

Sukyoung Ryu

KAIST

H-index: 23

Asia-South Korea

Contact Sukyoung Ryu

About Sukyoung Ryu

Sukyoung Ryu, With an exceptional h-index of 23 and a recent h-index of 15 (since 2020), a distinguished researcher at KAIST, specializes in the field of Programming Languages, Compilers, Program Analysis, Programming Environments.

His recent articles reflect a diverse array of research interests and contributions to the field:

Bringing the WebAssembly Standard up to Speed with SpecTec

An Empirical Study of JVMs’ Behaviors on Erroneous JNI Interoperations

JavaScript Language Design and Implementation in Tandem

Wasm SpecTec: Engineering a Formal Language Standard

Declarative static analysis for multilingual programs using CodeQL

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations

Concrat: An automatic C-to-Rust lock API translator for concurrent programs

Long-Term Mentoring for Computer Science Researchers

Sukyoung Ryu Information

University

Position

Professor School of Computing

Citations(all)

2065

Citations(since 2020)

810

Cited By

1519

hIndex(all)

23

hIndex(since 2020)

15

i10Index(all)

45

i10Index(since 2020)

30

Email

University Profile Page

Google Scholar

Sukyoung Ryu Skills & Research Interests

Programming Languages

Compilers

Program Analysis

Programming Environments

Top articles of Sukyoung Ryu

Bringing the WebAssembly Standard up to Speed with SpecTec

Proceedings of the ACM on Programming Languages

2024/4/1

Jaehyun Lee
Jaehyun Lee

H-Index: 6

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Philippa Gardner
Philippa Gardner

H-Index: 14

Matija Pretnar
Matija Pretnar

H-Index: 11

Conrad Watt
Conrad Watt

H-Index: 5

An Empirical Study of JVMs’ Behaviors on Erroneous JNI Interoperations

IEEE Transactions on Software Engineering

2024/3/5

Sungjae Hwang
Sungjae Hwang

H-Index: 11

Sungho Lee
Sungho Lee

H-Index: 11

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

JavaScript Language Design and Implementation in Tandem

Communications of the ACM

2024

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Wasm SpecTec: Engineering a Formal Language Standard

arXiv preprint arXiv:2311.07223

2023/11/13

Philippa Gardner
Philippa Gardner

H-Index: 14

Jaehyun Lee
Jaehyun Lee

H-Index: 6

Matija Pretnar
Matija Pretnar

H-Index: 11

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Conrad Watt
Conrad Watt

H-Index: 5

Declarative static analysis for multilingual programs using CodeQL

Software: Practice and Experience

2023/7

Sungho Lee
Sungho Lee

H-Index: 11

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations

Proceedings of the ACM on Programming Languages

2023/6/6

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Concrat: An automatic C-to-Rust lock API translator for concurrent programs

2023/5/14

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Long-Term Mentoring for Computer Science Researchers

Communications of the ACM

2023/4/21

Emily Ruppel
Emily Ruppel

H-Index: 3

Sihang Liu
Sihang Liu

H-Index: 6

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Alexandra Silva
Alexandra Silva

H-Index: 19

Talia Ringer
Talia Ringer

H-Index: 4

Static Analysis of JNI Programs via Binary Decompilation

IEEE Transactions on Software Engineering

2023/2/2

Sungho Lee
Sungho Lee

H-Index: 11

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Semantic Transformation Framework for Rewriting Rules

2023/1/15

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis

2022/11/7

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

JSTAR: JavaScript specification type analyzer using refinement

2021/11/15

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Accelerating javascript static analysis via dynamic shortcuts

2021/8/20

Joonyoung Park
Joonyoung Park

H-Index: 13

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

A survey of parametric static analysis

2021/7/18

Hongki Lee
Hongki Lee

H-Index: 5

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Justgen: Effective test generation for unspecified JNI behaviors on jvms

2021/5/22

Sungjae Hwang
Sungjae Hwang

H-Index: 11

Sungho Lee
Sungho Lee

H-Index: 11

Jihoon Kim
Jihoon Kim

H-Index: 22

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Jest: N+ 1-version differential testing of both javascript engines and specification

2021/5/22

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Jiset: Javascript ir-based semantics extraction toolchain

2020/12/21

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Broadening horizons of multilingual static analysis: Semantic summary extraction from c code for jni program analysis

2020/12/21

Sungho Lee
Sungho Lee

H-Index: 11

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

Analysis of blockchain smart contracts: Techniques and insights

2020/9/28

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

All about activity injection: Threats, semantics, detection, and defense

Software: Practice and Experience

2020/7

Sungjae Hwang
Sungjae Hwang

H-Index: 11

Sungho Lee
Sungho Lee

H-Index: 11

Sukyoung Ryu
Sukyoung Ryu

H-Index: 13

See List of Professors in Sukyoung Ryu University(KAIST)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine