Scholar
Sukyoung Ryu
Google Scholar ID: c98U5D0AAAAJ
Professor, School of Computing, KAIST
Programming Languages
Compilers
Program Analysis
Programming Environments
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,511
H-index
26
i10-index
56
Publications
20
Co-authors
18
list available
Publications
5 items
Rust's Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc
2026
Cited
0
SpecTrum: Specification-Guided Differential Fuzzing for Ethereum Consensus Clients
2026
Cited
0
P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
2026
Cited
0
Execution-Aware Program Reduction for WebAssembly via Record and Replay
2025
Cited
0
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
2025
Cited
0
Co-authors
6 total
Kwangkeun Yi
Professor of Computer Science & Engineering, Seoul National University
Sungjae Hwang
Assistant Professor, Sungkyunkwan University
Julian Dolby
IBM Thomas J. Watson Research Center
Wai Ting Cheung
Department of Computer Science, KAIST
Yongdae Kim
Professor of Electrical Engineering, KAIST, Korea
Sunghun Kim
Associate Professor of Computer Science, The Hong Kong University of Science and Technology
