Publication

2021

  • [ASE 2021] JSTAR: JavaScript Specification Type Analyzer using Refinement
    Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, and Sukyoung Ryu
    Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 2021.

  • [ESEC/FSE 2021] Accelerating JavaScript Static Analysis via Dynamic Shortcuts
    Joonyoung Park*, Jihyeok Park*, Dongjun Youn, and Sukyoung Ryu (*equally contributed)
    Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021.
    [extended] [repo]

  • [ECOOP/ISSTA DS] JavaScript Static Analysis with Evolving Engines and Specification
    Jihyeok Park
    Proceedings of the 35th European Conference on Object-Oriented Programming and Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis Doctoral Symposium track, July 2021.
    [slide]

  • [CSUR] A Survey of Parametric Static Analysis
    Jihyeok Park*, Hongki Lee*, and Sukyoung Ryu (*equally contributed)
    ACM Computing Surveys, Volume 54, Issue 7, Article No. 149, pp 1–37, July 2021
    [pdf]

  • [ICSE 2021] JEST: N+1-version Differential Testing of Both JavaScript Engines
    Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, and Sukyoung Ryu
    Proceedings of the 43rd ACM/IEEE International Conference on Software Engineering, May 2021. ACM SIGSOFT Distinguished Paper Award.
    [pdf] [slide] [video] [repo]

2020

2019

2018

2017

2014