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

ASE 2021 Committee Member in Program Committee within the Research Papers-track
PLDI 2021 Committee Member in Program Committee within the PLDI Research Papers-track
APLAS 2020 Committee Member in Program Committee
JSTools 2020 Organizer in Organizing Committee within the JSTools 2020-track
ECOOP 2021 PC Member in Program Committee within the ECOOP Research Papers-track
ISSTA 2021 PC 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 2021 General Chair in Organizing Committee
KAIST in Steering Committee
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
‹Programming› 2020 Author of Automatically Tracing Imprecision Causes in JavaScript Static Analysis within the Research 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
POPL 2020 Committee Member in Program Committee within the Research Papers-track
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 Technical Track-track
APLAS 2019 Committee Member in Steering Committee
Author of Towards Understanding and Reasoning about Android Interoperations within the APLAS NIER-track
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
FASE 2019 Author of Automatic Modeling for Opaque Code in JavaScript Static Analysis within the FASE 2019-track
PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
POPL 2019 Author of Polymorphic Symmetric Multiple Dispatch with Variance within the Research Papers-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
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
ICFP 2019 ICFP'21 General Chair in Steering Committee
ProWeb 2018 Author of A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency within the ProWeb 2018-track
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
Committee Member in Program Committee within the DocSymposium-track
HOPL IV Committee Member in Program Committee within the Papers-track
ICSE 2019 Author of Towards Understanding and Reasoning about Android Interoperations within the Technical Track-track
‹Programming› 2018 Keynote Speaker of Static Analysis of Android Applications for Finding Bugs and Security Vulnerabilities within the Keynotes-track
ML 2017 Committee Member in Program Committee within the ML 2017-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
DLS 2017 Committee Member in Program Committee within the DLS 2017-track
PLDI 2018 Committee Member in Program Committee
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
STOP 2016 Committee Member in Program Committee within the STOP-track
DLS 2016 Author of Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain within the DLS-track
SPLASH 2017 Committee Member in External Program Committee within the OOPSLA-track
PLDI 2017 Tutorial organizer of Bug detection in JavaScript web apps using the SAFE framework within the PLDI Tutorials-track
ICFP 2016 Keynote Speaker of Journey to Find Bugs in JavaScript Web Applications in the Wild within the Keynote Talks-track
PLDI 2016 Presenter of Cross-platform analysis of mobile apps using the WALA framework within the Tutorials-track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
SPLASH 2016 Committee Member in Program Committee within the OOPSLA-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
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
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
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 2012 Author of Formal specification of a JavaScript module system within the OOPSLA Research Papers-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