Researcher Page

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

    Keyword Cloud

    Reload 더보기
    NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
    1
    Taming shared mutable states of operating systems in Rust

    Hong, Jaemin; Shim, Sunghwan; Park, Sanguk; et al, SCIENCE OF COMPUTER PROGRAMMING, v.238, 2024-12

    2
    JavaScript Language Design and Implementation in Tandem

    Ryu, Sukyoung; Park, Jihyeok, COMMUNICATIONS OF THE ACM, v.67, no.5, pp.86 - 95, 2024-05

    3
    An Empirical Study of JVMs' Behaviors on Erroneous JNI Interoperations

    Hwang, Sungjae; Lee, Sungho; Ryu, Sukyoung, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.50, no.4, pp.979 - 994, 2024-04

    4
    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

    5
    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

    6
    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

    7
    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

    8
    A Survey of Parametric Static Analysis

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

    9
    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

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

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

    11
    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

    12
    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

    13
    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

    14
    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

    15
    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

    16
    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

    17
    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

    18
    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

    19
    Analysis of JavaScript Programs: Challenges and Research Trends

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

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

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

    Load more items
    Loading...

    rss_1.0 rss_2.0 atom_1.0