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
SPLASH
- Co-chair in OOPSLA Review Committee within the OOPSLA-track
- RC Chair Report
- Session Chair of Verification 2 (part of OOPSLA)
- OOPSLA Review Committee Co-Chair in Organizing Committee
- Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation
- Session Chair of Thursday SPLASH Keynote (part of SPLASH Keynotes)
- OOPSLA Awards
- Steering Committee Member in Steering Committee
Using general profile