conf.researchr.org / Sukyoung Ryu
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
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