Sukyoung Ryu

Sukyoung Ryu is a Professor at KAIST, focusing on programming languages and static program analysis. Her work spans JavaScript analysis, WebAssembly, Rust translation frameworks, and language specification verification.

• Education: Not explicitly mentioned
• Research Focus: Programming languages, static analysis, JavaScript, WebAssembly, Rust, Android hybrid apps, type systems
• Conference Roles: Co-chair (OOPSLA Review Committee, New Faculty Symposium), Committee Member (ICFP, ECOOP, ASE, PLDI, ICSE), Session Chair (SCAM, Type Systems, Keynotes)
• Keynote Talks: PLDI 2021, ICFP 2020, Scala 2019
• Tool Development: SAFE framework, SpecTec, Wasm-R3, HybriDroid, WALA extensions

Her recent publications focus on WebAssembly benchmarks, language specification verification, and memory/concurrency safety in cross-language translation. She contributes to open-source analysis tools and standards development.

As a committee member and session chair for conferences like PLDI, ICFP, and SPLASH, she actively shapes research directions in programming language design and analysis. Her lab at KAIST develops tools like SpecTec for mechanized language specifications.