Jihyeok Park

Jihyeok Park is a Ph.D. candidate in School of Computing, KAIST, Korea. He is one of the main developers of SAFE, a Scalable Analysis Framework for ECMAScript, and JISET, a JavaScript IR-based Semantics Extraction Toolchain. Moreover, he is one of the main developers of JEST, a tool that performs N+1-version differential testing for both JavaScript specifications and engines. Recently, he is working on developing other tools based on JISET.

Educational Background

Research Areas

  • Mechanized Specification

  • JavaScript Static Analysis

  • Differential Testing

  • Parsing Expression Grammar



  • ACM SIGSOFT Distinguished Paper Award, ICSE, 2021.

  • Ph.D. Fellowship Award, NAVER Corporation, 2020

  • Outstanding Teaching Assistant Award, KAIST CS320 Programming Languages, 2016 Fall - 2019 Spring (6 times)

  • Outstanding Teaching Assistant Award, KAIST CS109 Programming Practice, 2016 Spring

  • ACM Student Research Competition 3rd, Modularity, 2014.

  • Honor Program, School of Computing, KAIST, 2014.

  • KAIST Presidential Fellowship, School of Computing, KAIST, 2013.