ResearchWho?
    • Profile Image
    류석영
    Position 교수
    Current Department 한국과학기술원 공과대학 전산학부
    프로필
    연구 성과
    논문[72]
    #72. Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis
    Journal Information 2022.11
    Identifier (DOI) https://doi.org/10.1145/3540250.3549097
    #71. JSTAR: JavaScript Specification Type Analyzer using Refinement
    Journal Information 2021.11
    Identifier (DOI) https://doi.org/10.1109/ASE51524.2021.9678781
    프로시딩[18]
    #18. JSTAR: JavaScript Specification Type Analyzer using Refinement
    Journal Information 2021.11.15:606-616
    Identifier (DOI) https://doi.org/10.1109/ASE51524.2021.9678781
    #17. JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs
    Journal Information 2021.5.25:171-172
    Identifier (DOI) https://doi.org/10.1109/ICSE-Companion52605.2021.00073
    발표[49]
    #49. JSTAR: JavaScript Specification Type Analyzer using Refinement
    Organization International Conference on Automated Software Engineering, ASE 2021
    Date 2021.11
    #48. Accelerating JavaScript static analysis via dynamic shortcuts
    Organization 29th ACM Joint European Software Engineering Conference and Symposium
    Date 2021.8
    특허[1]
    #1. 액티비티 삽입 검출을 위한 정적 분석 방법 및 장치
    Identifier [출원] 10-2018-0050252
    Patent Country 대한민국
    팔로우 추천