JavaScript API misuse detection by using typescript. - Jihyeok Park (MODULARITY (Companion), 2014)

Analysis of JavaScript web applications using SAFE 2.0. - Jihyeok Park; Yeonhee Ryou; Joonyoung Park; Sukyoung Ryu (ICSE (Companion Volume), 2017)

Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. - Jihyeok Park; Xavier Rival; Sukyoung Ryu (SOAP@PLDI, 2017)

A framework for dynamic inter-device task dispatch with eventual consistency. - Jihyeok Park; Joonyoung Park; Yoonkyong Lee; Chul-Joo Kim; Byoungoh Kim; Sukyoung Ryu (Programming, 2018)

Path dependent types with path-equality. - Jaemin Hong; Jihyeok Park; Sukyoung Ryu (SCALA@ICFP, 2018)

Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild. - Sukyoung Ryu; Jihyeok Park; Joonyoung Park (IEEE Softw., 2019)

JISET: JavaScript IR-based Semantics Extraction Toolchain. - Jihyeok Park; Jihee Park; Seungmin An; Sukyoung Ryu (ASE, 2020)

JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification. - Jihyeok Park; Seungmin An; Dongjun Youn; Gyeongwon Kim; Sukyoung Ryu (ICSE (Companion Volume), 2021)

JSTAR: JavaScript Specification Type Analyzer using Refinement. - Jihyeok Park; Seungmin An; Wonho Shin; Yusung Sim; Sukyoung Ryu (ASE, 2021)

Accelerating JavaScript static analysis via dynamic shortcuts. - Joonyoung Park; Jihyeok Park; Dongjun Youn; Sukyoung Ryu (ESEC/SIGSOFT FSE, 2021)

Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version). - Joonyoung Park; Jihyeok Park; Dongjun Youn; Sukyoung Ryu (CoRR, 2021)

Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis. - Jihyeok Park; Seungmin An; Sukyoung Ryu (ESEC/SIGSOFT FSE, 2022)

A Survey of Parametric Static Analysis. - Jihyeok Park; Hongki Lee; Sukyoung Ryu (ACM Comput. Surv., 2022)

Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations. - Jihyeok Park; Dongjun Youn; Kanguk Lee; Sukyoung Ryu (Proc. ACM Program. Lang., 2023)

PL4XGL: A Programming Language Approach to Explainable Graph Learning. - Minseok Jeon; Jihyeok Park; Hakjoo Oh (Proc. ACM Program. Lang., 2024)

JavaScript Language Design and Implementation in Tandem. - Sukyoung Ryu; Jihyeok Park (Commun. ACM, 2024)

JSSpecVis: A JavaScript Language Specification Visualization Tool. - Minseok Choe; Kyungho Song; Hyunjoon Kim; Jihyeok Park (SIGSOFT FSE Companion, 2025)