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

• March 2016 - Present, Integrated M.S. & Ph.D. in School of Computing, KAIST

  • Programming Language Research Group (PLRG)

  • Advisor: Sukyoung Ryu

• March 2012 - Feb 2016, B.S. in School of Computing and Mathematical Science, KAIST

Research Areas

• Mechanized Specification

• JavaScript Static Analysis

• Differential Testing

• Parsing Expression Grammar

Talks

• JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. KCS 2021 Invite Talk, Online. December 21, 2021.

• JavaScript Static Analysis for Evolving Language Specifications. DI ENS Seminar, Online. December 15, 2021.

• JSTAR: JavaScript Specification Type Analyzer using Refinement. ASE 2021, Online. November 17, 2021.

• JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. [video] EIRIC Seminar, Online. October 12, 2021.

• JavaScript Static Analysis for Evolving Language Specifications. [video] KAISTPL, Online. September 17, 2021.

• JavaScript Static Analysis with Evolving Engines and Specification. ECOOP/ISSTA 2021 DS, Online. July 13, 2021.

• Towards Co-evolution of JavaScript Specification and Tools. Prosys Lab, KAIST, Daejeon, South Korea. June 28, 2021.

• JISET: JavaScript IR-based Semantics Extraction Toolchain. KCC 2021 Invite Talk, Jeju, South Korea. June 23, 2021.

• JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification. [video] ICSE 2021, Online. May 28, 2021.

• JISET: JavaScript IR-based Semantics Extraction Toolchain. ASE 2020, Online. September 23, 2020.

• Update-Tolerant JavaScript Static Analysis for Frequently Released ECMAScript. NUS Seminar, Singapore. November 26, 2019.

• Towards Analysis and Bug Finding of JavaScript Web Applications in the Wild. ICSME 2019 J1C2, Cleveland, USA. September 28, 2018.

• A Framework for Dynamic Inter-Device Task Dispatch with Eventual Consistency. ProWeb 2018, Nice, France. April 10, 2018.

• Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction. SOAP 2017, Barcelona, Spain. June 18, 2017.

• Analysis of JavaScript Web Applications Using SAFE 2.0. [video] ICSE 2017 Demo, Buenos Aires, Argentina. May 24, 2017

• JavaScript API Misuse Detection by Using TypeScript. Modularity 2014 SRC, Lugano, Switzerland. April 22, 2014

Awards

• 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.