Jihyeok Park

20 papers A* 4Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2025 A* conf
Debun: Detecting Bundled JavaScript Libraries on Web using Property-Order Graphs.
ASE
Seojin Kim, Sungmin Park, Jihyeok Park
2025 — conf
JSSpecVis: A JavaScript Language Specification Visualization Tool.
SIGSOFT FSE Companion
Minseok Choe, Kyungho Song, Hyunjoon Kim, Jihyeok Park
2024 J jnl
JavaScript Language Design and Implementation in Tandem.
Commun. ACM
Sukyoung Ryu, Jihyeok Park
2024 J jnl
PL4XGL: A Programming Language Approach to Explainable Graph Learning.
Proc. ACM Program. Lang.
Minseok Jeon, Jihyeok Park, Hakjoo Oh
2023 J jnl
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations.
Proc. ACM Program. Lang.
Jihyeok Park, Dongjun Youn, Kanguk Lee, Sukyoung Ryu
2022 J jnl
A Survey of Parametric Static Analysis.
ACM Comput. Surv.
Jihyeok Park, Hongki Lee, Sukyoung Ryu
2022 — conf
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis.
ESEC/SIGSOFT FSE
Jihyeok Park, Seungmin An, Sukyoung Ryu
2021 J jnl
Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version).
CoRR
Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu
2021 — conf
Accelerating JavaScript static analysis via dynamic shortcuts.
ESEC/SIGSOFT FSE
Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu
2021 A* conf
JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification.
ICSE
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
2021 — conf
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification.
ICSE (Companion Volume)
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
2021 J jnl
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification.
CoRR
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
2021 A* conf
JSTAR: JavaScript Specification Type Analyzer using Refinement.
ASE
Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu
2020 A* conf
JISET: JavaScript IR-based Semantics Extraction Toolchain.
ASE
Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu
2019 J jnl
Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild.
IEEE Softw.
Sukyoung Ryu, Jihyeok Park, Joonyoung Park
2018 — conf
A framework for dynamic inter-device task dispatch with eventual consistency.
Programming
Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, Sukyoung Ryu
2018 — conf
Path dependent types with path-equality.
SCALA@ICFP
Jaemin Hong, Jihyeok Park, Sukyoung Ryu
2017 — conf
Analysis of JavaScript web applications using SAFE 2.0.
ICSE (Companion Volume)
Jihyeok Park, Yeonhee Ryou, Joonyoung Park, Sukyoung Ryu
2017 — conf
Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction.
SOAP@PLDI
Jihyeok Park, Xavier Rival, Sukyoung Ryu
2014 — conf
JavaScript API misuse detection by using typescript.
MODULARITY (Companion)
Jihyeok Park