2024
2023
2022
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
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
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]
2014