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)

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