Publications

2025

• Verification and Classification of Exploits for Node.js Vulnerabilities (Accepted)
  Sungmin Park
  ASE 2025 SRC (IEEE/ACM International Conference on Automated Software Engineering - Student Research Competition)
  
• Debun: Detecting Bundled JavaScript Libraries on Web using Property-Order Graphs (Accepted)
  Seojin Kim*, Sungmin Park*, and Jihyeok Park (* equally contributed)
  ASE 2025 (IEEE/ACM International Conference on Automated Software Engineering)
  
• JSSpecVis: A JavaScript Language Specification Visualization Tool [doi]
  Minseok Choe*, Kyungho Song*, Hyunjoon Kim, and Jihyeok Park (* equally contributed)
  FSE 2025 Demo (ACM International Conference on the Foundations of Software Engineering - Demonstrations Track)
  
  [ slides | repo | visualizer | debugger ]

2024

• PL4XGL: A Programming Language Approach to Explainable Graph Learning [doi]
  Minseok Jeon, Jihyeok Park†, and Hakjoo Oh† († corresponding authors)
  PLDI 2024 (ACM SIGPLAN Conference on Programming Language Design and Implementation)
  
  [ slides | repo | news ]
• JavaScript Language Design and Implementation in Tandem [doi]
  Sukyoung Ryu and Jihyeok Park
  CACM (Communications of the ACM)
  
  [ online | repo | news ]

2023

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

2022

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

2021

• A Survey of Parametric Static Analysis [doi]
  Jihyeok Park*, Hongki Lee*, and Sukyoung Ryu (* equally contributed)
  CSUR (ACM Computing Surveys - vol. 54, issue 7, no. 149, pp. 1-37)
  
• JSTAR: JavaScript Specification Type Analyzer using Refinement [doi]
  Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, and Sukyoung Ryu
  ASE 2021 (IEEE/ACM International Conference on Automated Software Engineering)
  
  [ tech | slides | repo ]
• Accelerating JavaScript Static Analysis via Dynamic Shortcuts [doi]
  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)
  
  [ extended | slides | repo ]
• JavaScript Static Analysis with Evolving Engines and Specification
  Jihyeok Park
  ISSTA 2021 DS (ACM SIGSOFT International Symposium on Software Testing and Analysis - Doctoral Symposium)
  
  [ slides ]
• JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification [doi]
  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
  
  [ slides | repo ]

2020

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

2019

• Toward Analysis and Bug Finding of JavaScript Web Applications in the Wild [doi]
  Sukyoung Ryu, Jihyeok Park, and Joonyoung Park
  IEEE Software (vol. 36, no. 3, pp. 74-82)
  
  [ slides ]

2018

• Path Dependent Types with Path-Equality [doi]
  Jaemin Hong, Jihyeok Park, and Sukyoung Ryu
  Scala 2018 (ACM SIGPLAN Symposium on Scala)
  
• 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
  ProWeb 2018 (International Workshop on Programming Technology for the Future Web)
  
  [ slides ]

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)
  
• Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction [doi]
  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
  
  [ tech | slides ]
• Analysis of JavaScript Web Applications Using SAFE 2.0 [doi]
  Jihyeok Park, Yeonhee Ryou, Joonyoung Park, and Sukyoung Ryu
  ICSE 2017 Demo (IEEE/ACM International Conference on Software Engineering - Demonstrations Track)
  
  [ slides | poster | repo ]

2014

• JavaScript API Misuse Detection by Using TypeScript [doi]
  Jihyeok Park
  Modularity 2014 SRC (International Conference on Modularity - Student Research Competition)
  🏅 ACM Student Research Competition 3rd
  
  [ slides | poster ]