Registered user since Wed 1 Jul 2015
Name:Sukyoung Ryu
Country:South Korea
Affiliation:KAIST
Personal website: http://plrg.kaist.ac.kr/ryu
Research interests:Programming languages and program analysis
Contributions
2025
ASE
- Session Chair of New Faculty Symposium 4 (part of New Faculty Symposium)
- Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
- New Faculty Symposium Co-Chair in New Faculty Symposium Chairs within the New Faculty Symposium-track
- Session Chair of New Faculty Symposium 3 (part of New Faculty Symposium)
- Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software Stacks
- New Faculty Symposium Co-Chair in Organizing Committee
- WEST: Specification-Based Test Generation for WebAssembly
- Execution-Aware Program Reduction for WebAssembly via Record and Replay
Using general profile