conf.researchr.org / Sukyoung Ryu
Registered user since Wed 1 Jul 2015
Name:Sukyoung Ryu
Country:Republic of Korea
Affiliation:KAIST
Personal website: http://plrg.kaist.ac.kr/ryu
GitHub: https://github.com/sukyoung
Research interests:Programming languages, software engineering, information security, and quantum computing
Contributions
2027
2026
ASE
- Author of 2-on-1: Mentorship Round 2 within the New-Faculty Symposium-track
- Author of 2-on-1: Mentorship Round 1 within the New-Faculty Symposium-track
- Speaker in Speakers within the New-Faculty Symposium-track
- Author of SpecTrum: Specification-Guided Differential Fuzzing for Ethereum Consensus Clients within the Research Papers-track
- Invited Speaker of Research, People, and Me within the New-Faculty Symposium-track
- Panelist of Panel 1: Reflections and Mentorship within the New-Faculty Symposium-track
ISSTA
- Session Chair of Hardware, Embedded, and Quantum Systems (part of Research papers)
- Area Chair (Program Analysis & Verification) in Research papers within the Research papers-track
- Author of Rust's Type Checker Implementation is Unsound: An Empirical Study on Soundness Bugs in rustc within the Research papers-track
SPLASH
SPLASH/ISSTA
2025
ASE
- Session Chair of New Faculty Symposium 4 (part of New Faculty Symposium)
- Author of Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis within the Research Papers-track
- 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)
- Author of Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software Stacks within the Research Papers-track
- New Faculty Symposium Co-Chair in Organizing Committee
- Author of WEST: Specification-Based Test Generation for WebAssembly within the Research Papers-track
- Author of Execution-Aware Program Reduction for WebAssembly via Record and Replay within the Research Papers-track
SPLASH
- Co-chair in OOPSLA Review Committee within the OOPSLA-track
- Author of RC Chair Report within the OOPSLA-track
- Session Chair of Verification 2 (part of OOPSLA)
- OOPSLA Review Committee Co-Chair in Organizing Committee
- Author of Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation within the OOPSLA-track
- Session Chair of Thursday SPLASH Keynote (part of SPLASH Keynotes)
- Author of OOPSLA Awards within the OOPSLA-track
- Steering Committee Member in Steering Committee
WebAssembly Workshop
SCAM
PLDI
RPLS
- Speaker of SpecTec, a Single Source of Truth within the RPLS 2025: Real-World Programming Language Specification-track
- Moderator of Panel: Mechanized Specifications for Real-World Programming Languages within the RPLS 2025: Real-World Programming Language Specification-track
- Committee Member in Organizing Committee within the RPLS 2025: Real-World Programming Language Specification-track
2024
ASE
APLAS
SPLASH
PLDI
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
- Author of Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation within the PLDI Research Papers-track
- Author of Bringing the WebAssembly Standard up to Speed with SpecTec within the PLDI Research Papers-track
RTFM
2023
ICFP
PLDI
ICSE
2022
ESEC/FSE
ISSTA
PLDI
2021
ASE
- Committee Member in Program Committee within the Research Papers-track
- Author of JSTAR: JavaScript Specification Type Analyzer using Refinement within the Research Papers-track
- Author of Artifact for "JSTAR: JavaScript Specification Type Analyzer using Refinement" within the Artifact Evaluation-track
ICFP
- General Chair in Organizing Committee
- KAIST in Steering Committee
- Committee Member in Selection Committee within the Tutorials-track
- Committee Member in Virtualization Committee
- Session Chair of Awards & Reports (part of Research Papers)
- Speaker of Award Presentations & Chair Report within the Research Papers-track
PLDI
HOPL
ICSE
- Committee Member in Program Committee within the Technical Track-track
- Author of JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs within the Technical Track-track
- Author of JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification within the AE - Artifact Evaluation-track
- Author of JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs within the AE - Artifact Evaluation-track
- Author of JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification within the Technical Track-track
2020
ASE
ICFP
- Author in Steering Committee
- Session Chair of New York 6 (part of ICFP Program)
- Committee Member in Virtualization Committee
- Presenter of Award Presentations & Chair Report within the ICFP Program-track
- Session Chair of Asia 6 (part of ICFP Program)
- Author of Online Lecture Panel within the Social Events-track
- Panelist of Women in CS Panel within the Social Events-track