Sukyoung Ryu
Scholar

Sukyoung Ryu

Google Scholar ID: c98U5D0AAAAJ
Professor, School of Computing, KAIST
Programming LanguagesCompilersProgram AnalysisProgramming Environments
Google Scholar↗
Citations & Impact
All-time
Citations
2,511
 
H-index
26
 
i10-index
56
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
Publications
3 items
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
Resume (English only)
Co-authors
18 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Kwangkeun Yi
Kwangkeun Yi
Professor of Computer Science & Engineering, Seoul National University