고윤석

Yoonseok Ko

Ph.D. Candidate, PLRG Lab.

Computer Science Department

Korea Advanced Institute of Science and Technology

Research Interests

  • Scalable static analysis based on Abstract Interpretation.

Education

  • 2018 - Current, Post-doc at INRIA Sophia-Antipolis

  • 2013 - 2018, Ph.D. School of Computing, KAIST(Advisor: Sukyoung Ryu)

Experience

  • 2011 - 2013, Senior Researcher, Static Analysis Part, S-Core Co., Ltd.

  • 1/2016 - 6/2016: Internship, ANTIQUE(ANalyste staTIQUE), ENS Paris, France (host: Prof. Xavier Rival)

Publications

International Publication

  • Yoonseok Ko, Xavier Rival, and Sukyoung Ryu,
    Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects.
    In Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), November 2017.     Micro-benchmarks

  • Yoonseok Ko, Hongki Lee, Julian Dolby, and Sukyoung Ryu,
    Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications.
    In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering(ASE 2015).
    Acceptance rate (full papers): 19% (    slide)

  • Yoonseok Ko, Kihong Heo, and Hakjoo Oh,
    A Sparse Evaluation Technique for Detailed Semantic Analyses.
    COMLAN: Computer Languages, Systems, and Structures, Vol. 40, Issues 3-4. 2014

Domestic Publication

  • Yoonseok Ko, and Sukyoung Ryu,
    Tunable Static Analysis Framework for JavaScript Applications.
    Distinguished Paper from Korea Computer Congress, 2015.

  • Yoonseok Ko, Hakjoo Oh, Kihong Heo, and Kwangkeun Yi,
    A General Framework for Sparse Analysis.
    Distinguished Paper from Korea Computer Congress, 2011.

Journal

Presentations

  • Error Obliviating Parser(Poster Session):
    The 7th Asian Symposium on Programming Languages and Systems, Seoul, Korea. Dec. 15, 2009.     poster

  • Weakly Sensitive Analysis for JavaScript:
    NII Shonan Meeting on Memory Abstractions: Emerging Techniques and Applications, Sep. 12, 2017. (    slide)

External Reviewer

  • FSCD'16

Teaching Experience

  • CS320, Spring Semester, 2017

Tools

  • JavaScript URIHandler library for SAFE urihandler

  • Scalable Analysis Framework for ECMAScript(SAFE) - the main developer of static analysis module: SAFE1.0

  • CompAbs: Static Analyzer for JavaScript CompAbs executable binary