2025
-
JSSpecVis: A JavaScript Language Specification Visualization Tool
Minseok Choe, Kyungho Song, Hyunjoon Kim, and Jihyeok Park
FSE 2025: ACM International Conference on the Foundations of Software Engineering (Demonstrations Track)
2024
-
PL4XGL: A Programming Language Approach to Explainable Graph Learning
Minseok Jeon, Jihyeok Park, and Hakjoo Oh
PLDI 2024: ACM SIGPLAN Conference on Programming Language Design and Implementation
[link][pdf][slides][repo][bib] -
JavaScript Language Design and Implementation in Tandem
Sukyoung Ryu and Jihyeok Park
CACM: Communications of the ACM
[link][online][video][pdf][repo][bib]
2023
-
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
Jihyeok Park, Dongjun Youn, Kanguk Lee, and Sukyoung Ryu
PLDI 2023: ACM SIGPLAN Conference on Programming Language Design and Implementation
[link][pdf][slides][video][repo][bib]
2022
-
Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-Level Static Analysis
Jihyeok Park, Seungmin An, and Sukyoung Ryu
ESEC/FSE 2022: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
[link][pdf][slides][video][repo][bib] -
Filling the Gap between the JavaScript Language Specification and Tools using the JISET Family
Sukyoung Ryu, Jihyeok Park, and Seungmin An
PLDI 2022: ACM SIGPLAN Conference on Programming Language Design and Implementation (Tutorial)
[link][slides-1][slides-2][slides-3]
2021
-
A Survey of Parametric Static Analysis
Jihyeok Park*, Hongki Lee*, and Sukyoung Ryu (* equally contributed)
CSUR: ACM Computing Surveys (Volume 54, Issue 7, Article No. 149, pp 1–37)
[link][pdf][bib] -
JSTAR: JavaScript Specification Type Analyzer using Refinement
Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, and Sukyoung Ryu
ASE 2021: IEEE/ACM International Conference on Automated Software Engineering
[link][pdf][tech][slides][repo][bib] -
Accelerating JavaScript Static Analysis via Dynamic Shortcuts
Joonyoung Park*, Jihyeok Park*, Dongjun Youn, and Sukyoung Ryu (* equally contributed)
ESEC/FSE 2021: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
[link][pdf][extended][slides][repo][bib] -
JavaScript Static Analysis with Evolving Engines and Specification
Jihyeok Park
ISSTA 2021: ACM SIGSOFT International Symposium on Software Testing and Analysis (Doctoral Symposium)
[link][slides] -
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, and Sukyoung Ryu
ICSE 2021: IEEE/ACM International Conference on Software Engineering
🏅 ACM SIGSOFT Distinguished Paper Award
[link][pdf][slides][video][repo][bib]
2020
-
JISET: JavaScript IR-based Semantics Extraction Toolchain
Jihyeok Park, Jihee Park, Seungmin An, and Sukyoung Ryu
ASE 2020: IEEE/ACM International Conference on Automated Software Engineering
[link][pdf][tech][slides][repo][bib]
2019
-
Toward Analysis and Bug Finding of JavaScript Web Applications in the Wild
Sukyoung Ryu, Jihyeok Park, and Joonyoung Park
IEEE Software
[link][pdf][slides][bib]
2018
-
Path Dependent Types with Path-Equality
Jaemin Hong, Jihyeok Park, and Sukyoung Ryu
Scala 2018: ACM SIGPLAN Symposium on Scala
[link][pdf][bib] -
A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency
Jihyeok Park, Joonyoung Park, Yoonkyong Lee, Chul-Joo Kim, Byoungoh Kim, and Sukyoung Ryu
ProWeb 2018: International Workshop on Programming Technology for the Future Web
[link][pdf][slides][bib]
2017
-
Toward Building Memory-safe Network Functions with Modest Performance Overhead
Keunhong Lee, Shinae Woo, Sanghyeon Seo, Jihyeok Park, Sukyoung Ryu, and Sue Moon
NetPL 2017: ACM SIGCOMM Workshop on Networking and Programming Languages
[pdf] -
Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
Jihyeok Park, Xavier Rival, and Sukyoung Ryu
SOAP 2017: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis
🏅 Best Paper Award
[link][pdf][tech][slides][bib] -
Analysis of JavaScript Web Applications Using SAFE 2.0
Jihyeok Park, Yeonhee Ryou, Joonyoung Park, and Sukyoung Ryu
ICSE 2017: IEEE/ACM International Conference on Software Engineering (Demonstrations Track)
[link][pdf][video][slides][poster][repo][bib]