Researcher Page

Ryu, Sukyoung (류석영)
교수, (전산학부)
Research Area
Programming Languages, Program Analysis, Programming Environment
    Similar researchers

    Keyword Cloud

    Reload 더보기
    NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
    Declarative static analysis for multilingual programs using CodeQL

    Youn, Dongjun; Lee, Sungho; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.53, no.7, pp.1472 - 1495, 2023-07

    Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations

    Park, Jihyeok; Youn, Dongjun; Lee, Kanguk; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.PLDI, 2023-06

    Static Analysis of JNI Programs via Binary Decompilation

    Park, Jihee; Lee, Sungho; Hong, Jaemin; et al, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.49, no.5, pp.3089 - 3105, 2023-05

    Long-Term Mentoring for Computer Science Researchers

    Ringer, Talia; Liu, Sihang; Garza, Elba; et al, COMMUNICATIONS OF THE ACM, v.66, no.5, pp.33 - 35, 2023-05

    A Survey of Parametric Static Analysis

    Park, Jihyeok; Lee, Hongki; Ryu, Sukyoung, ACM COMPUTING SURVEYS, v.54, no.7, 2021-09

    All about activity injection: Threats, semantics, detection, and defense

    Hwang, Sungjae; Lee, Sungho; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.50, no.7, pp.1061 - 1086, 2020-07

    요약된 주소값 기반 메모리 분석 기법 및 이를 이용한 EVM 바이트코드 분석

    박지희; 류석영, 정보과학회 컴퓨팅의 실제 논문지, v.26, no.4, pp.217 - 222, 2020-04

    Automatically Tracing Imprecision Causes in JavaScript Static Analysis

    Lee, Hongki; Park, Changhee; Ryu, Sukyoung, The Art, Science, and Engineering of Programming, v.4, no.2, pp.2, 2019-10

    Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild

    Ryu, Sukyoung; Park, Jihyeok; Park, Joonyoung, IEEE SOFTWARE, v.36, no.3, pp.74 - 82, 2019-05

    Weakly sensitive analysis for JavaScript object-manipulating programs

    Ko, Yoon Seok; Rival, Xavier; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.49, no.5, pp.840 - 884, 2019-05

    Retinal Blood Vessel Caliber Estimation for Optical Coherence Tomography Angiography Images Based on 3D Superellipsoid Modeling

    Han, Myounghee; Kim, Yongjoo; Park, Jang Ryul; et al, INTERNATIONAL JOURNAL OF IMAGE AND GRAPHICS, v.19, no.2, 2019-04

    Polymorphic symmetric multiple dispatch with variance

    Park, Gyunghee; Hong, Jaemin; Steele Jr., Guy L.; et al, Proceedings of the ACM on Programming Languages, v.3, no.POPL, pp.1 - 28, 2019-01

    A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

    Kim, Se-Won; Rival, Xavier; Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.3, 2018-08

    Wide dynamic range high-speed three-dimensional quantitative OCT angiography with a hybrid-beam scan

    Park, Tae Jin; Jang, Sun Joo; Han, Myounghee; et al, OPTICS LETTERS, v.43, no.10, pp.2237 - 2240, 2018-05

    Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity

    Park, Changhee; Lee, Hongki; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.48, no.4, pp.911 - 944, 2018-04

    Analysis of JavaScript Programs: Challenges and Research Trends

    Sun, Kwangwon; Ryu, Sukyoung, ACM COMPUTING SURVEYS, v.50, no.4, 2017-11

    WALA와 Boa를 활용하여 대규모 소프트웨어 저장소를 정적으로 분석하는 도구 개발

    박경희; 류석영, 정보과학회논문지, v.44, no.10, pp.1081 - 1086, 2017-10

    Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain

    Park, Changhee; Im, Hyeonseung; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.52, no.2, pp.25 - 36, 2017-02

    Journey to Find Bugs in JavaScript Web Applications in the Wild

    Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.51, no.9, pp.2 - 2, 2016-09

    Scalable framework for parsing: from Fortress to JavaScript

    Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.46, no.9, pp.1219 - 1238, 2016-09

    Load more items

    rss_1.0 rss_2.0 atom_1.0