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

ICSE 2024	Committee Member in Research Track within the Research Track-track
ESEC/FSE 2023	Committee Member in Program Committee within the Research Papers-track
APLAS 2023	Steering Committee Chair in Steering Committee within the APLAS 2023-track
SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
ICFP 2023	Steering Committee Chair in Steering Committee
PLDI 2023	Area Chair in PLDI Review Committee within the PLDI Research Papers-track
ICSE 2023	Author of Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs within the Technical Track-track Author of Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs within the Artifact Evaluation-track
PEPM 2023	Session Chair of Industry presentation + 1 talk (part of PEPM 2023) Committee Member in Program Committee within the PEPM 2023-track Author of Semantic Transformation Framework for Rewriting Rules within the PEPM 2023-track
ESEC/FSE 2022	Committee Member in Program Committee within the Research Papers-track Author of Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-level Static Analysis within the Research Papers-track
ICFP 2022	Steering Committee Member in Steering Committee
ISSTA 2022	Session Chair of Impact Paper Presentation (part of Keynotes) General Chair in Organizing Comittee General Chair of Award Presentations & Chair Report within the Keynotes-track Session Chair of Keynote (part of Keynotes) Session Chair of Keynote (part of Keynotes)
PLDI 2022	Committee Member in PLDI within the PLDI-track Panelist in Organizing Committee within the W@PLDI-track Author of Filling the gap between the JavaScript language specification and tools using the JISET family within the Tutorials-track
PLMW	Panelist of Mentoring Panel: Post-graduate Career Paths within the PLMW-track
POPL 2022	Panelist of PLMW Panel (on Zoom) within the Virtual Workshop-track
ASE 2021	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 2021	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
ESEC/FSE 2021	Author of Accelerating JavaScript Static Analysis via Dynamic Shortcuts within the Research Papers-track
ECOOP 2021	PC Member in Program Committee within the ECOOP Technical Papers-track
ECOOP and ISSTA 2021	Author of ISSTA 2022 Preview within the 2022 Previews-track
ISSTA 2021	PC Member in Program Committee
PLDI 2021	Speaker of Ask Me Anything with Sukyoung Ryu within the Ask Me Anything-track Committee Member in Program Committee within the PLDI-track
HOPL IV	Committee Member in Program Committee within the Papers-track Session Chair of Sunday Evening (part of Papers)
ICSE 2021	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
‹Programming› 2021	Author of Automatically Tracing Imprecision Causes in JavaScript Static Analysis within the Research Papers-track
APLAS 2020	Committee Member in Program Committee
DLS 2020	Committee Member in Program Committee within the DLS 2020-track
ASE 2020	Author of JISET: JavaScript IR-based Semantics Extraction Toolchain within the Research Papers-track Author of Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis within the Research Papers-track
ICFP 2020	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
JSTools 2020	Organizer in Organizing Committee within the JSTools 2020-track
ICSE 2020	Programme Committee in Program Committee within the Technical Papers-track Author of Gap between Theory and Practice : An Empirical Study of Security Patches in Solidity within the Technical Papers-track
‹Programming› 2020	Author of Automatically Tracing Imprecision Causes in JavaScript Static Analysis within the Research Papers-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track
APLAS 2019	Committee Member in Steering Committee Author of Towards Understanding and Reasoning about Android Interoperations within the APLAS NIER-track
ICFP 2019	ICFP'21 General Chair in Steering Committee
ISSTA 2019	Author of Adlib: Analyzer for Mobile Ad Platform Libraries within the Technical Papers-track Committee Member in Program Committee within the Technical Papers-track
Scala 2019	Author of Symmetric Multiple Dispatch for Path Dependent Types within the Scala 2019-track General Chair in Organizing Committee within the Scala 2019-track
PLDI 2019	Committee Member in External Program Committee within the PLDI Research Papers-track
ICSE 2019	Author of Towards Understanding and Reasoning about Android Interoperations within the Technical Track-track
FASE 2019	Author of Automatic Modeling for Opaque Code in JavaScript Static Analysis within the FASE 2019-track
POPL 2019	Author of Polymorphic Symmetric Multiple Dispatch with Variance within the Research Papers-track
SPLASH 2018	Committee Member in Review Committee within the OOPSLA-track Committee Member in Program Committee within the DocSymposium-track
Scala 2018	Committee Member in Program Committee within the Scala 2018-track Session Chair of Student Talks 1 (part of Scala 2018) Author of Path Dependent Types with Path-Equality within the Scala 2018-track
PLDI 2018	Committee Member in Program Committee
‹Programming› 2018	Keynote Speaker of Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities within the Keynotes-track
ProWeb 2018	Author of A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency within the ProWeb 2018-track
DLS 2017	Committee Member in Program Committee within the DLS 2017-track
SPLASH 2017	Committee Member in External Program Committee within the OOPSLA-track
ML 2017	Committee Member in Program Committee within the ML 2017-track
PLDI 2017	Tutorial organizer of Bug detection in JavaScript web apps using the SAFE framework within the PLDI Tutorials-track
SOAP 2017	Author of Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction within the SOAP-track Keynote Speaker of Journey to Find Bugs in JavaScript Web Applications in the Wild within the SOAP-track
ProWeb 2017	Committee Member in Program Committee within the ProWeb 2017-track
SPLASH 2016	Committee Member in Program Committee within the OOPSLA-track
DLS 2016	Author of Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain within the DLS-track
ICFP 2016	Keynote Speaker of Journey to Find Bugs in JavaScript Web Applications in the Wild within the Keynote Talks-track
PLMW 2016	Committee Member in Speakers within the PLMW-track Author of Analyzing JavaScript Web Applications in the Wild (Mostly) Statically within the PLMW-track
ECOOP 2016	Committee Member in Program Committee within the Research Track-track
STOP 2016	Committee Member in Program Committee within the STOP-track
PLDI 2016	Presenter of Cross-platform analysis of mobile apps using the WALA framework within the Tutorials-track
ECOOP 2015	Author of Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity within the Research Track-track Author of Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity within the Artifacts-track
JSTools 2015	Author of HybriDroid: Analysis Framework for Android Hybrid Applications within the JSTools-track
FOOL	Committee Member in Program Committee within the FOOL-track
SPLASH 2014	Committee Member in Program Committee within the OOPSLA-track
DLS 2013	Author of All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications within the Research Papers-track
SPLASH 2012	Author of Formal specification of a JavaScript module system within the OOPSLA Research Papers-track
FOOL 2012	Committee Member in Program Committee within the FOOL 2012-track Author of SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript within the FOOL 2012-track
SPLASH 2011	Author of Type-Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance within the OOPSLA-track Committee Member in External Reviewers within the OOPSLA-track