Write a Blog >>
ASE 2021
Mon 15 - Fri 19 November 2021 Australia
Jihyeok Park

Registered user since Wed 13 Dec 2017

Name:Jihyeok Park
Bio:

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

Country:South Korea
Affiliation:KAIST
Research interests:Mechanized Specification, JavaScript Static Analysis, Static/Dynamic Hybrid Analysis, and Differential Testing

Contributions

ASE 2021 Artifact for "JSTAR: JavaScript Specification Type Analyzer using Refinement"
JSTAR: JavaScript Specification Type Analyzer using Refinement
Show activities from other conferences

Using general profile