Publications

2026

  • TOSEM Selective Feature-Sensitive Coverage for Conformance Testing of Programming Languages [doi]
    Kanguk Lee, Seunghwan Kim, Jihyeok Park†, and Sukyoung Ryu†
    Transactions on Software Engineering and Methodology

2025

2024

2023

  • PLDI 2023 Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations [doi]
    Jihyeok Park, Dongjun Youn, Kanguk Lee, and Sukyoung Ryu
    ACM SIGPLAN Conference on Programming Language Design and Implementation
    pdfvideoslidesrepo

2022

  • ESEC/FSE 2022 Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-Level Static Analysis [doi]
    Jihyeok Park, Seungmin An, and Sukyoung Ryu
    ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    pdfvideoreportslidesrepo
  • PLDI 2022 Tutorial Filling the Gap between the JavaScript Language Specification and Tools using the JISET Family
    Sukyoung Ryu, Jihyeok Park, and Seungmin An
    ACM SIGPLAN Conference on Programming Language Design and Implementation - Tutorial
    slides-1slides-2slides-3

2021

  • CSUR A Survey of Parametric Static Analysis [doi]
    Jihyeok Park*, Hongki Lee*, and Sukyoung Ryu (* equally contributed)
    ACM Computing Surveys - vol. 54, issue 7, no. 149, pp. 1-37
    pdf
  • ASE 2021 JSTAR: JavaScript Specification Type Analyzer using Refinement [doi]
    Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, and Sukyoung Ryu
    IEEE/ACM International Conference on Automated Software Engineering
    pdftechslidesrepo
  • ESEC/FSE 2021 Accelerating JavaScript Static Analysis via Dynamic Shortcuts [doi]
    Joonyoung Park*, Jihyeok Park*, Dongjun Youn, and Sukyoung Ryu (* equally contributed)
    ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    pdfextendedslidesrepo
  • ISSTA 2021 DS JavaScript Static Analysis with Evolving Engines and Specification
    Jihyeok Park
    ACM SIGSOFT International Symposium on Software Testing and Analysis - Doctoral Symposium
    slides
  • ICSE 2021 JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification [doi]
    Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, and Sukyoung Ryu
    🏅 ACM SIGSOFT Distinguished Paper Award
    IEEE/ACM International Conference on Software Engineering
    pdfvideoslidesrepo

2020

  • ASE 2020 JISET: JavaScript IR-based Semantics Extraction Toolchain [doi]
    Jihyeok Park, Jihee Park, Seungmin An, and Sukyoung Ryu
    IEEE/ACM International Conference on Automated Software Engineering
    pdftechslidesrepo

2019

2018

  • Scala 2018 Path Dependent Types with Path-Equality [doi]
    Jaemin Hong, Jihyeok Park, and Sukyoung Ryu
    ACM SIGPLAN Symposium on Scala
    pdfvideo
  • ProWeb 2018 A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency [doi]
    Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, and Sukyoung Ryu
    International Workshop on Programming Technology for the Future Web
    pdfslides

2017

  • NetPL 2017 Toward Building Memory-safe Network Functions with Modest Performance Overhead
    Keunhong Lee, Shinae Woo, Sanghyeon Seo, Jihyeok Park, Sukyoung Ryu, and Sue Moon
    ACM SIGCOMM Workshop on Networking and Programming Languages
    pdfvideo
  • SOAP 2017 Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction [doi]
    Jihyeok Park, Xavier Rival, and Sukyoung Ryu
    🏅 Best Paper Award
    ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis
    pdftechslides
  • ICSE 2017 Demo Analysis of JavaScript Web Applications Using SAFE 2.0 [doi]
    Jihyeok Park, Yeonhee Ryou, Joonyoung Park, and Sukyoung Ryu
    IEEE/ACM International Conference on Software Engineering - Demonstrations Track
    pdfvideoslidesposterrepo

2014

Search