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

PLDI 2022 Filling the gap between the JavaScript language specification and tools using the JISET family
Show activities from other conferences

Using general profile